Documentation for tex-doublestroke
