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