diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf new file mode 100644 index 00000000000..5a1b9939502 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf @@ -0,0 +1,12 @@ +ffmchar("visiblespace",6,ht#,comma_depth#); +lft x1=good.x(.5u+noise); +lft x2=good.x(.5u+noise); +rt x3=good.x(w-.5u+noise); +rt x4=good.x(w-.5u+noise); +top y1=o+noise; +top y4=o+noise; +bot y2=noise-d; +bot y3=noise-d; +draw z1--z2--z3--z4; +labels(1,2,3,4); +endchar; |