diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf b/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf new file mode 100644 index 00000000000..a73fa349a15 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf @@ -0,0 +1,45 @@ +% arrsy10.mf +% Anders G S Svensson +% $Date: 1995/03/31 21:55:19 $ +% $Revision: 1.10 $ + +if unknown cmbase: input cmbase fi +font_identifier:="ARRSY"; font_size 10pt#; + +input arrsy; % Computer modern parameters. +input arrsym; % Macros for the symbols. + +% Encoding +% +rightallo(hex "00"); +leftallo(hex "01"); +upallo(hex "02"); +downallo(hex "03"); +rightpara(hex "04"); +leftpara(hex "05"); +uppara(hex "06"); +downpara(hex "07"); +righttriple(hex "08"); +lefttriple(hex "09"); +equiv(hex "0A"); +dashbar(hex "0B"); +rightarrow(hex "0C", 10); +leftarrow(hex "0D", 10); +rightmonotail(hex "0E"); +leftmonotail(hex "0F"); +squiggle(hex "10"); +rightarrow(hex "11", 18); +leftarrow(hex "12", 18); +leftrightarrow(hex "13"); +leftharpoonup(hex "14"); +leftharpoondown(hex "15"); +rightharpoonup(hex "16"); +rightharpoondown(hex "17"); +vector(hex "18"); +ofcirc(hex "19"); +dotp(hex "1A"); +cupp(hex "1B"); +capp(hex "1C"); + +bye + |