|
1 # Title: Distribution/lib/scripts/symbol_input.pl |
|
2 # ID: $Id$ |
|
3 # Author: Markus Wenzel, David von Oheimb |
|
4 # Copyright 1996 Technische Universitaet Muenchen |
|
5 # |
|
6 # translate symbols into \<...> sequences. |
|
7 # table must be consistent with Pure/Syntax/symbol_font.ML |
|
8 |
|
9 %tab = ( |
|
10 "\xa1", "\\\\<Gamma>", |
|
11 "\xa2", "\\\\<Delta>", |
|
12 "\xa3", "\\\\<Theta>", |
|
13 "\xa4", "\\\\<Lambda>", |
|
14 "\xa5", "\\\\<Pi>", |
|
15 "\xa6", "\\\\<Sigma>", |
|
16 "\xa7", "\\\\<Phi>", |
|
17 "\xa8", "\\\\<Psi>", |
|
18 "\xa9", "\\\\<Omega>", |
|
19 "\xaa", "\\\\<alpha>", |
|
20 "\xab", "\\\\<beta>", |
|
21 "\xac", "\\\\<gamma>", |
|
22 "\xad", "\\\\<delta>", |
|
23 "\xae", "\\\\<epsilon>", |
|
24 "\xaf", "\\\\<zeta>", |
|
25 "\xb0", "\\\\<eta>", |
|
26 "\xb1", "\\\\<theta>", |
|
27 "\xb2", "\\\\<kappa>", |
|
28 "\xb3", "\\\\<lambda>", |
|
29 "\xb4", "\\\\<mu>", |
|
30 "\xb5", "\\\\<nu>", |
|
31 "\xb6", "\\\\<xi>", |
|
32 "\xb7", "\\\\<pi>", |
|
33 "\xb8", "\\\\<rho>", |
|
34 "\xb9", "\\\\<sigma>", |
|
35 "\xba", "\\\\<tau>", |
|
36 "\xbb", "\\\\<phi>", |
|
37 "\xbc", "\\\\<chi>", |
|
38 "\xbd", "\\\\<psi>", |
|
39 "\xbe", "\\\\<omega>", |
|
40 "\xbf", "\\\\<not>", |
|
41 "\xc0", "\\\\<and>", |
|
42 "\xc1", "\\\\<or>", |
|
43 "\xc2", "\\\\<forall>", |
|
44 "\xc3", "\\\\<exists>", |
|
45 "\xc4", "\\\\<And>", |
|
46 "\xc5", "\\\\<lceil>", |
|
47 "\xc6", "\\\\<rceil>", |
|
48 "\xc7", "\\\\<lfloor>", |
|
49 "\xc8", "\\\\<rfloor>", |
|
50 "\xc9", "\\\\<lparr>", |
|
51 "\xca", "\\\\<rparr>", |
|
52 "\xcb", "\\\\<lbrakk>", |
|
53 "\xcc", "\\\\<rbrakk>", |
|
54 "\xcd", "\\\\<empty>", |
|
55 "\xce", "\\\\<in>", |
|
56 "\xcf", "\\\\<subseteq>", |
|
57 "\xd0", "\\\\<inter>", |
|
58 "\xd1", "\\\\<union>", |
|
59 "\xd2", "\\\\<Inter>", |
|
60 "\xd3", "\\\\<Union>", |
|
61 "\xd4", "\\\\<sqinter>", |
|
62 "\xd5", "\\\\<squnion>", |
|
63 "\xd6", "\\\\<Sqinter>", |
|
64 "\xd7", "\\\\<Squnion>", |
|
65 "\xd8", "\\\\<bottom>", |
|
66 "\xd9", "\\\\<doteq>", |
|
67 "\xda", "\\\\<equiv>", |
|
68 "\xdb", "\\\\<noteq>", |
|
69 "\xdc", "\\\\<sqsubset>", |
|
70 "\xdd", "\\\\<sqsubseteq>", |
|
71 "\xde", "\\\\<prec>", |
|
72 "\xdf", "\\\\<preceq>", |
|
73 "\xe0", "\\\\<succ>", |
|
74 "\xe1", "\\\\<succeq>", |
|
75 "\xe2", "\\\\<sim>", |
|
76 "\xe3", "\\\\<simeq>", |
|
77 "\xe4", "\\\\<le>", |
|
78 "\xe5", "\\\\<ge>", |
|
79 "\xe6", "\\\\<leftarrow>", |
|
80 "\xe7", "\\\\<midarrow>", |
|
81 "\xe8", "\\\\<rightarrow>", |
|
82 "\xe9", "\\\\<Leftarrow>", |
|
83 "\xea", "\\\\<Midarrow>", |
|
84 "\xeb", "\\\\<Rightarrow>", |
|
85 "\xec", "\\\\<rrightarrow>", |
|
86 "\xed", "\\\\<mapsto>", |
|
87 "\xee", "\\\\<leadsto>", |
|
88 "\xef", "\\\\<up>", |
|
89 "\xf0", "\\\\<down>", |
|
90 "\xf1", "\\\\<notin>", |
|
91 "\xf2", "\\\\<times>", |
|
92 "\xf3", "\\\\<oplus>", |
|
93 "\xf4", "\\\\<ominus>", |
|
94 "\xf5", "\\\\<otimes>", |
|
95 "\xf6", "\\\\<oslash>", |
|
96 "\xf7", "\\\\<natural>", |
|
97 "\xf8", "\\\\<infinity>", |
|
98 "\xf9", "\\\\<box>", |
|
99 "\xfa", "\\\\<diamond>", |
|
100 "\xfb", "\\\\<circ>", |
|
101 "\xfc", "\\\\<bullet>", |
|
102 "\xfd", "\\\\<parallel>", |
|
103 "\xfe", "\\\\<tick>", |
|
104 "\xff", "\\\\<copyright>"); |
|
105 |
|
106 $SIG{INT} = "IGNORE"; |
|
107 $| = 1; |
|
108 |
|
109 while (<ARGV>) { |
|
110 s/([\xa1-\xff])/$tab{$1}/g; |
|
111 print; |
|
112 } |