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, 0 insertions, 45 deletions
diff --git a/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf b/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf deleted file mode 100644 index a73fa349a15..00000000000 --- a/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf +++ /dev/null @@ -1,45 +0,0 @@ -% 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 - |