diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/mnsymbol/MnSymbolD.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/mnsymbol/MnSymbolD.mf | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/mnsymbol/MnSymbolD.mf b/Master/texmf-dist/fonts/source/public/mnsymbol/MnSymbolD.mf new file mode 100644 index 00000000000..26abd7bb89a --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/mnsymbol/MnSymbolD.mf @@ -0,0 +1,23 @@ + +font_identifier:="MnSymbolD"; +font_size design_size * pt#; + +boolean bold_weight; +bold_weight := false; + +input MnSymbol-Parameter.mf; +input Sym-Base.mf; + +negated := 0; + +input Sym-Order.mf; + +negated := 1; + +input Sym-Order.mf; + +negated := 2; + +input Sym-Order.mf; + +bye; |