renamed to symbolinput.pl;
authorwenzelm
Mon Dec 16 09:57:34 1996 +0100 (1996-12-16)
changeset 2398d4164ea87229
parent 2397 01a5e30334b1
child 2399 6719b465198b
renamed to symbolinput.pl;
lib/scripts/symbol_input.pl
     1.1 --- a/lib/scripts/symbol_input.pl	Mon Dec 16 09:57:18 1996 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,111 +0,0 @@
     1.4 -# Title:	Distribution/lib/scripts/symbol_input.pl
     1.5 -# ID:		$Id$
     1.6 -# Author:	Markus Wenzel, David von Oheimb
     1.7 -# Copyright	1996 Technische Universitaet Muenchen
     1.8 -#
     1.9 -# translate symbols into \<...> sequences.
    1.10 -
    1.11 -%tab = (
    1.12 -  "\xa1", "\\\\<Gamma>",
    1.13 -  "\xa2", "\\\\<Delta>",
    1.14 -  "\xa3", "\\\\<Theta>",
    1.15 -  "\xa4", "\\\\<Lambda>",
    1.16 -  "\xa5", "\\\\<Pi>",
    1.17 -  "\xa6", "\\\\<Sigma>",
    1.18 -  "\xa7", "\\\\<Phi>",
    1.19 -  "\xa8", "\\\\<Psi>",
    1.20 -  "\xa9", "\\\\<Omega>",
    1.21 -  "\xaa", "\\\\<alpha>",
    1.22 -  "\xab", "\\\\<beta>",
    1.23 -  "\xac", "\\\\<gamma>",
    1.24 -  "\xad", "\\\\<delta>",
    1.25 -  "\xae", "\\\\<epsilon>",
    1.26 -  "\xaf", "\\\\<zeta>",
    1.27 -  "\xb0", "\\\\<eta>",
    1.28 -  "\xb1", "\\\\<theta>",
    1.29 -  "\xb2", "\\\\<kappa>",
    1.30 -  "\xb3", "\\\\<lambda>",
    1.31 -  "\xb4", "\\\\<mu>",
    1.32 -  "\xb5", "\\\\<nu>",
    1.33 -  "\xb6", "\\\\<xi>",
    1.34 -  "\xb7", "\\\\<pi>",
    1.35 -  "\xb8", "\\\\<rho>",
    1.36 -  "\xb9", "\\\\<sigma>",
    1.37 -  "\xba", "\\\\<tau>",
    1.38 -  "\xbb", "\\\\<phi>",
    1.39 -  "\xbc", "\\\\<chi>",
    1.40 -  "\xbd", "\\\\<psi>",
    1.41 -  "\xbe", "\\\\<omega>",
    1.42 -  "\xbf", "\\\\<not>",
    1.43 -  "\xc0", "\\\\<and>",
    1.44 -  "\xc1", "\\\\<or>",
    1.45 -  "\xc2", "\\\\<forall>",
    1.46 -  "\xc3", "\\\\<exists>",
    1.47 -  "\xc4", "\\\\<And>",
    1.48 -  "\xc5", "\\\\<lceil>",
    1.49 -  "\xc6", "\\\\<rceil>",
    1.50 -  "\xc7", "\\\\<lfloor>",
    1.51 -  "\xc8", "\\\\<rfloor>",
    1.52 -  "\xc9", "\\\\<lparr>",
    1.53 -  "\xca", "\\\\<rparr>",
    1.54 -  "\xcb", "\\\\<lbrakk>",
    1.55 -  "\xcc", "\\\\<rbrakk>",
    1.56 -  "\xcd", "\\\\<empty>",
    1.57 -  "\xce", "\\\\<in>",
    1.58 -  "\xcf", "\\\\<subseteq>",
    1.59 -  "\xd0", "\\\\<inter>",
    1.60 -  "\xd1", "\\\\<union>",
    1.61 -  "\xd2", "\\\\<Inter>",
    1.62 -  "\xd3", "\\\\<Union>",
    1.63 -  "\xd4", "\\\\<sqinter>",
    1.64 -  "\xd5", "\\\\<squnion>",
    1.65 -  "\xd6", "\\\\<Sqinter>",
    1.66 -  "\xd7", "\\\\<Squnion>",
    1.67 -  "\xd8", "\\\\<bottom>",
    1.68 -  "\xd9", "\\\\<doteq>",
    1.69 -  "\xda", "\\\\<equiv>",
    1.70 -  "\xdb", "\\\\<noteq>",
    1.71 -  "\xdc", "\\\\<sqsubset>",
    1.72 -  "\xdd", "\\\\<sqsubseteq>",
    1.73 -  "\xde", "\\\\<prec>",
    1.74 -  "\xdf", "\\\\<preceq>",
    1.75 -  "\xe0", "\\\\<succ>",
    1.76 -  "\xe1", "\\\\<succeq>",
    1.77 -  "\xe2", "\\\\<sim>",
    1.78 -  "\xe3", "\\\\<simeq>",
    1.79 -  "\xe4", "\\\\<le>",
    1.80 -  "\xe5", "\\\\<ge>",
    1.81 -  "\xe6", "\\\\<leftarrow>",
    1.82 -  "\xe7", "\\\\<midarrow>",
    1.83 -  "\xe8", "\\\\<rightarrow>",
    1.84 -  "\xe9", "\\\\<Leftarrow>",
    1.85 -  "\xea", "\\\\<Midarrow>",
    1.86 -  "\xeb", "\\\\<Rightarrow>",
    1.87 -  "\xec", "\\\\<rrightarrow>",
    1.88 -  "\xed", "\\\\<mapsto>",
    1.89 -  "\xee", "\\\\<leadsto>",
    1.90 -  "\xef", "\\\\<up>",
    1.91 -  "\xf0", "\\\\<down>",
    1.92 -  "\xf1", "\\\\<notin>",
    1.93 -  "\xf2", "\\\\<times>",
    1.94 -  "\xf3", "\\\\<oplus>",
    1.95 -  "\xf4", "\\\\<ominus>",
    1.96 -  "\xf5", "\\\\<otimes>",
    1.97 -  "\xf6", "\\\\<oslash>",
    1.98 -  "\xf7", "\\\\<natural>",
    1.99 -  "\xf8", "\\\\<infinity>",
   1.100 -  "\xf9", "\\\\<box>",
   1.101 -  "\xfa", "\\\\<diamond>",
   1.102 -  "\xfb", "\\\\<circ>",
   1.103 -  "\xfc", "\\\\<bullet>",
   1.104 -  "\xfd", "\\\\<parallel>",
   1.105 -  "\xfe", "\\\\<tick>",
   1.106 -  "\xff", "\\\\<copyright>");
   1.107 -
   1.108 -$SIG{INT} = "IGNORE";
   1.109 -$| = 1;
   1.110 -
   1.111 -while (<ARGV>) {
   1.112 -  s/([\xa1-\xff])/$tab{$1}/g;
   1.113 -  print;
   1.114 -}