diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmchar_grave.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmchar_grave.mf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_grave.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_grave.mf new file mode 100644 index 00000000000..e7f3753101b --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_grave.mf @@ -0,0 +1,9 @@ +ffmchar("grave",6,x_ht#+acc_ht#,0); +lft x1=noise; +rt x2=.8w+noise; +top y1=h+o+noise; +bot y2=.2[x_ht,h]+noise; +draw z1--z2; +charanchortops_[charcode]=(.5w,x_ht); +labels(1,2); +endchar; |