Documentation for tex-doublestroke.