diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmchar_backslash.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmchar_backslash.mf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_backslash.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_backslash.mf new file mode 100644 index 00000000000..93e5d0b323c --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_backslash.mf @@ -0,0 +1,8 @@ +ffmchar("backslash",10,ht#,comma_depth#); +x1=good.x(2u+s+noise); +x2=good.x(w-2u-s+noise); +bot y2=noise-d-o; +top y1=h+o+noise; +draw z1--z2; +labels(1,2); +endchar; |