summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf')
-rw-r--r--Master/texmf-dist/fonts/source/public/kuvio/arrsy10.mf45
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
-