]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_disambiguation/macros/dictionary-tex.xml
snapshot
[helm.git] / helm / ocaml / cic_disambiguation / macros / dictionary-tex.xml
1 <?xml version="1.0"?>
2
3 <!--
4  This file is part of EdiTeX, an editor of mathematical
5  expressions based on TeX syntax.
6  
7  Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
8                     2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
9
10  This library is free software; you can redistribute it and/or
11  modify it under the terms of the GNU Lesser General Public
12  License as published by the Free Software Foundation; either
13  version 2.1 of the License, or (at your option) any later version.
14
15  This library is distributed in the hope that it will be useful,
16  but WITHOUT ANY WARRANTY; without even the implied warranty of
17  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
18  Lesser General Public License for more details.
19
20  You should have received a copy of the GNU Lesser General Public
21  License along with this library; if not, write to the Free Software
22  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
23
24  For more information, please visit the project's home page
25  http://helm.cs.unibo.it/editex/
26  or send an email to <lpadovan@cs.unibo.it>
27 -->
28
29 <dictionary name="TeX">
30
31   <include href="dictionary-basic.xml"/>
32
33   <!-- Greek Letters (lower case) -->
34
35   <entry name="alpha"      class="i" val="&#x03b1;"/>
36   <entry name="beta"       class="i" val="&#x03b2;"/>
37   <entry name="gamma"      class="i" val="&#x03b3;"/>
38   <entry name="delta"      class="i" val="&#x03b4;"/>
39   <entry name="epsilon"    class="i" val="&#x03f5;"/>
40   <entry name="varepsilon" class="i" val="&#x03b5;"/>
41   <entry name="zeta"       class="i" val="&#x03b6;"/>
42   <entry name="eta"        class="i" val="&#x03b7;"/>
43   <entry name="theta"      class="i" val="&#x03b8;"/>
44   <entry name="vartheta"   class="i" val="&#x03d1;"/>
45   <entry name="iota"       class="i" val="&#x03b9;"/>
46   <entry name="kappa"      class="i" val="&#x03ba;"/>
47   <entry name="lambda"     class="i" val="&#x03bb;"/>
48   <entry name="mu"         class="i" val="&#x03bc;"/>
49   <entry name="nu"         class="i" val="&#x03bd;"/>
50   <entry name="xi"         class="i" val="&#x03be;"/>
51   <entry name="o"          class="i" val="&#x03bf;"/>
52   <entry name="pi"         class="i" val="&#x03c0;"/>
53   <entry name="varpi"      class="i" val="&#x03d6;"/>
54   <entry name="rho"        class="i" val="&#x03c1;"/>
55   <entry name="varrho"     class="i" val="&#x03f1;"/>
56   <entry name="sigma"      class="i" val="&#x03c3;"/>
57   <entry name="varsigma"   class="i" val="&#x03c2;"/>
58   <entry name="tau"        class="i" val="&#x03c4;"/>
59   <entry name="upsilon"    class="i" val="&#x03c5;"/>
60   <entry name="phi"        class="i" val="&#x03d5;"/>
61   <entry name="varphi"     class="i" val="&#x03c6;"/>
62   <entry name="chi"        class="i" val="&#x03c7;"/>
63   <entry name="psi"        class="i" val="&#x03c8;"/>
64   <entry name="omega"      class="i" val="&#x03c9;"/>
65
66   <!-- Greek Letters (upper case) -->
67
68   <entry name="Gamma"   class="i" val="&#x0393;"/>
69   <entry name="Delta"   class="i" val="&#x0394;"/>
70   <entry name="Theta"   class="i" val="&#x0398;"/>
71   <entry name="Lambda"  class="i" val="&#x039b;"/>
72   <entry name="Xi"      class="i" val="&#x039e;"/>
73   <entry name="Pi"      class="i" val="&#x03a0;"/>
74   <entry name="Sigma"   class="i" val="&#x03a3;"/>
75   <entry name="Upsilon" class="i" val="&#x03d2;"/>
76   <entry name="Phi"     class="i" val="&#x03a6;"/>
77   <entry name="Psi"     class="i" val="&#x03a8;"/>
78   <entry name="Omega"   class="i" val="&#x03a9;"/>
79
80   <!-- Symbols of Type Ord -->
81
82   <entry name="aleph"       class="i" val="&#x2135;"/>
83   <entry name="hbar"        class="i" val="&#x210f;&#xfe00;"/>
84   <entry name="imath"       class="i" val="&#x0131;"/>
85   <entry name="jmath"       class="i" val="&#x006a;&#xfe00;"/>
86   <entry name="ell"         class="i" val="&#x2113;"/>
87   <entry name="wp"          class="i" val="&#x2118;"/>
88   <entry name="Re"          class="o" val="&#x211c;"/>
89   <entry name="Im"          class="o" val="&#x2111;"/>
90   <entry name="partial"     class="o" val="&#x2202;"/>
91   <entry name="infty"       class="i" val="&#x221e;"/>
92   <entry name="prime"       class="o" val="&#x2032;"/>
93   <entry name="emptyset"    class="i" val="&#x2205;&#xfe00;"/>
94   <entry name="nabla"       class="o" val="&#x2207;"/>
95   <entry name="surd"        class="o" val="????"/>
96   <entry name="top"         class="i" val="&#x22a4;"/>
97   <entry name="bot"         class="i" val="&#x22a5;"/>
98   <entry name="|"           class="o" val="|" delimiter="1"/>
99   <entry name="angle"       class="o" val="&#x2220;"/>
100   <entry name="triangle"    class="o" val="&#x25b5;"/>
101   <entry name="backslash"   class="o" val="\"/>
102   <entry name="forall"      class="o" val="&#x2200;"/>
103   <entry name="exists"      class="o" val="&#x2203;"/>
104   <entry name="neg"         class="o" val="&#x00ac;"/>
105   <entry name="lnot"        class="o" val="&#x00ac;"/>
106   <entry name="flat"        class="i" val="&#x266d;"/>
107   <entry name="natural"     class="i" val="&#x266e;"/>
108   <entry name="sharp"       class="i" val="&#x266f;"/>
109   <entry name="clubsuit"    class="i" val="&#x2663;"/>
110   <entry name="diamondsuit" class="i" val="&#x2662;"/>
111   <entry name="heartsuit"   class="i" val="&#x2661;"/>
112   <entry name="spadesuit"   class="i" val="&#x2660;"/>
113
114   <!-- Large Operators -->
115
116   <entry name="sum"         class="o" val="&#x2211;" limits="1"/>
117   <entry name="prod"        class="o" val="&#x220f;" limits="1"/>
118   <entry name="coprod"      class="o" val="&#x2210;" limits="1"/>
119   <entry name="int"         class="o" val="&#x222b;" limits="1"/>
120   <entry name="oint"        class="o" val="&#x222e;" limits="1"/>
121   <entry name="bigcap"      class="o" val="&#x22c2;" limits="1"/>
122   <entry name="bigcup"      class="o" val="&#x22c3;" limits="1"/>
123   <entry name="bigsqcup"    class="o" val="&#x2294;" limits="1"/>
124   <entry name="bigvee"      class="o" val="&#x22c1;" limits="1"/>
125   <entry name="bigwedge"    class="o" val="&#x22c0;" limits="1"/>
126   <entry name="bigodot"     class="o" val="&#x2299;" limits="1"/>
127   <entry name="bigotimes"   class="o" val="&#x2297;" limits="1"/>
128   <entry name="bigoplus"    class="o" val="&#x2295;" limits="1"/>
129   <entry name="biguplus"    class="o" val="&#x228e;" limits="1"/>
130
131   <!-- Binary Operations -->
132
133   <entry name="pm"              class="o" val="&#x00b1;"/>
134   <entry name="mp"              class="o" val="&#x2213;"/>
135   <entry name="setminus"        class="o" val="&#x2216;"/>
136   <entry name="cdot"            class="o" val="&#x010b;"/>
137   <entry name="times"           class="o" val="&#x00d7;"/>
138   <entry name="ast"             class="o" val="&#x002a;"/>
139   <entry name="star"            class="o" val="&#x22c6;"/>
140   <entry name="diamond"         class="o" val="&#x22c4;"/>
141   <entry name="circ"            class="o" val="&#x005e;"/>
142   <entry name="bullet"          class="o" val="&#x2022;"/>
143   <entry name="div"             class="o" val="&#x00f7;"/>
144   <entry name="cap"             class="o" val="&#x2229;"/>
145   <entry name="cup"             class="o" val="&#x222a;"/>
146   <entry name="uplus"           class="o" val="&#x228e;"/>
147   <entry name="sqcap"           class="o" val="&#x2293;"/>
148   <entry name="sqcup"           class="o" val="&#x2294;"/>
149   <entry name="triangleleft"    class="o" val="&#x25c3;"/>
150   <entry name="triangleright"   class="o" val="&#x25b9;"/>
151   <entry name="wr"              class="o" val="&#x2240;"/>
152   <entry name="bigcirc"         class="o" val="&#x25ef;"/>
153   <entry name="bigtriangleup"   class="o" val="&#x25b3;"/>
154   <entry name="bigtriangledown" class="o" val="&#x25bd;"/>
155   <entry name="vee"             class="o" val="&#x2228;"/>
156   <entry name="lor"             class="o" val="&#x2228;"/>
157   <entry name="wedge"           class="o" val="&#x2227;"/>
158   <entry name="land"            class="o" val="&#x2227;"/>
159   <entry name="oplus"           class="o" val="&#x2295;"/>
160   <entry name="ominus"          class="o" val="&#x2296;"/>
161   <entry name="otimes"          class="o" val="&#x2297;"/>
162   <entry name="oslash"          class="o" val="&#x00f8;"/>
163   <entry name="odot"            class="o" val="&#x2299;"/>
164   <entry name="dagger"          class="o" val="&#x2020;"/>
165   <entry name="ddagger"         class="o" val="&#x2021;"/>
166   <entry name="amalg"           class="o" val="&#x2a3f;"/>
167
168   <!-- Relations -->
169
170   <entry name="leq"            class="o" val="&#x2264;"/>
171   <entry name="le"             class="o" val="&#x2264;"/>
172   <entry name="prec"           class="o" val="&#x227a;"/>
173   <entry name="preceq"         class="o" val="&#x2aaf;"/>
174   <entry name="ll"             class="o" val="&#x226a;"/>
175   <entry name="subset"         class="o" val="&#x2282;"/>
176   <entry name="subseteq"       class="o" val="&#x2286;"/>
177   <entry name="in"             class="o" val="&#x2208;"/>
178   <entry name="vdash"          class="o" val="&#x22a2;"/>
179   <entry name="smile"          class="o" val="&#x2323;"/>
180   <entry name="frown"          class="o" val="&#x2322;"/>
181   <entry name="propto"         class="o" val="&#x221d;"/>
182   <entry name="geq"            class="o" val="&#x2265;"/>
183   <entry name="ge"             class="o" val="&#x2265;"/>
184   <entry name="succ"           class="o" val="&#x227b;"/>
185   <entry name="succeq"         class="o" val="&#x227d;"/>
186   <entry name="gg"             class="o" val="&#x226b;"/>
187   <entry name="supset"         class="o" val="&#x2283;"/>
188   <entry name="supseteq"       class="o" val="&#x2287;"/>
189   <entry name="sqsupseteq"     class="o" val="&#x2292;"/>
190   <entry name="notin"          class="o" val="&#x2209;"/>
191   <entry name="dashv"          class="o" val="&#x22a3;"/>
192   <entry name="mid"            class="o" val="&#x2223;"/>
193   <entry name="parallet"       class="o" val="????"/>
194   <entry name="equiv"          class="o" val="&#x2261;"/>
195   <entry name="sim"            class="o" val="&#x223c;"/>
196   <entry name="simeq"          class="o" val="&#x2243;"/>
197   <entry name="asymp"          class="o" val="&#x224d;"/>
198   <entry name="approx"         class="o" val="&#x2248;"/>
199   <entry name="cong"           class="o" val="&#x2245;"/>
200   <entry name="bowtie"         class="o" val="&#x22c8;"/>
201   <entry name="ni"             class="o" val="&#x220b;"/>
202   <entry name="owns"           class="o" val="&#x220b;"/>
203   <entry name="models"         class="o" val="&#x22a7;"/>
204   <entry name="doteq"          class="o" val="&#x2250;"/>
205   <entry name="perp"           class="o" val="&#x22a5;"/>
206
207   <entry name="not"            pattern="#1" embellishment="1"/>
208   <entry name="ne"             class="o" val="&#x2260;"/>
209
210   <!-- Arrows -->
211
212   <entry name="leftarrow"          class="o" val="&#x2190;"/>
213   <entry name="gets"               class="o" val="&#x2190;"/>
214   <entry name="Leftarrow"          class="o" val="&#x21d0;"/>
215   <entry name="rightarrow"         class="o" val="&#x2192;"/>
216   <entry name="to"                 class="o" val="&#x2192;"/>
217   <entry name="Rightarrow"         class="o" val="&#x21d2;"/>
218   <entry name="leftrightarrow"     class="o" val="&#x2194;"/>
219   <entry name="Leftrightarrow"     class="o" val="&#x21d4;"/>
220   <entry name="mapsto"             class="o" val="&#x21a6;"/>
221   <entry name="hookleftarrow"      class="o" val="&#x21a9;"/>
222   <entry name="uparrow"            class="o" val="&#x2191;"/>
223   <entry name="downarrow"          class="o" val="&#x2193;"/>
224   <entry name="updownarrow"        class="o" val="&#x2195;"/>
225   <entry name="nearrow"            class="o" val="&#x2197;"/>
226   <entry name="nwarrow"            class="o" val="&#x2196;"/>
227   <entry name="longleftarrow"      class="o" val="????;"/>
228   <entry name="Longleftarrow"      class="o" val="????"/>
229   <entry name="longrightarrow"     class="o" val="????"/>
230   <entry name="Longrightarrow"     class="o" val="&#x21d2;"/>
231   <entry name="longleftrightarrow" class="o" val="????"/>
232   <entry name="Longleftrightarrow" class="o" val="????"/>
233   <entry name="longmapsto"         class="o" val="????"/>
234   <entry name="hookrightarrow"     class="o" val="&#x21aa;"/>
235   <entry name="Uparrow"            class="o" val="&#x21d1;"/>
236   <entry name="Downarrow"          class="o" val="&#x21d3;"/>
237   <entry name="searrow"            class="o" val="&#x2198;"/>
238   <entry name="swarrow"            class="o" val="&#x2199;"/>
239
240   <entry name="buildrel" pattern="#1\over#2" embellishment="1"/>
241
242   <!-- Delimiters -->
243
244   <entry name="lbrack"         class="o" val="[" delimiter="1"/>
245   <entry name="rbrack"         class="o" val="]" delimiter="1"/>
246   <entry name="vert"           class="o" val="|" delimiter="1"/>
247   <entry name="Vert"           class="o" val="&#x2016;" delimiter="1"/>
248   <entry name="lbrace"         class="o" val="{" delimiter="1"/>
249   <entry name="{"              class="o" val="{" delimiter="1"/>
250   <entry name="rbrace"         class="o" val="}" delimiter="1"/>
251   <entry name="}"              class="o" val="}" delimiter="1"/>
252   <entry name="lfloor"         class="o" val="&#x230a;" delimiter="1"/>
253   <entry name="rfloor"         class="o" val="&#x230b;" delimiter="1"/>
254   <entry name="langle"         class="o" val="&#x2329;" delimiter="1"/>
255   <entry name="rangle"         class="o" val="&#x232a;" delimiter="1"/>
256   <entry name="lceil"          class="o" val="&#x2308;" delimiter="1"/>
257   <entry name="rceil"          class="o" val="&#x2309;" delimiter="1"/>
258
259   <entry name="left"           pattern="#1" embellishment="1" delimiter="1"/>
260   <entry name="right"          pattern="#1" embellishment="1" delimiter="1"/>
261   <entry name="bigl"           pattern="#1" embellishment="1" delimiter="1"/>
262   <entry name="bigr"           pattern="#1" embellishment="1" delimiter="1"/>
263   <entry name="bigm"           pattern="#1" embellishment="1" delimiter="1"/>
264   <entry name="big"            pattern="#1" embellishment="1" delimiter="1"/>
265   <entry name="Bigl"           pattern="#1" embellishment="1" delimiter="1"/>
266   <entry name="Bigr"           pattern="#1" embellishment="1" delimiter="1"/>
267   <entry name="Bigm"           pattern="#1" embellishment="1" delimiter="1"/>
268   <entry name="biggl"          pattern="#1" embellishment="1" delimiter="1"/>
269   <entry name="biggr"          pattern="#1" embellishment="1" delimiter="1"/>
270   <entry name="biggm"          pattern="#1" embellishment="1" delimiter="1"/>
271   <entry name="Biggl"          pattern="#1" embellishment="1" delimiter="1"/>
272   <entry name="Biggr"          pattern="#1" embellishment="1" delimiter="1"/>
273   <entry name="Biggm"          pattern="#1" embellishment="1" delimiter="1"/>
274
275   <!-- Accents -->
276
277   <entry name="hat"       pattern="#1" embellishment="1"/>
278   <entry name="widehat"   pattern="#1" embellishment="1"/>
279   <entry name="check"     pattern="#1" embellishment="1"/>
280   <entry name="tilde"     pattern="#1" embellishment="1"/>
281   <entry name="widetilde" pattern="#1" embellishment="1"/>
282   <entry name="acute"     pattern="#1" embellishment="1"/>
283   <entry name="grave"     pattern="#1" embellishment="1"/>
284   <entry name="dot"       pattern="#1" embellishment="1"/>
285   <entry name="ddot"      pattern="#1" embellishment="1"/>
286   <entry name="breve"     pattern="#1" embellishment="1"/>
287   <entry name="bar"       pattern="#1" embellishment="1"/>
288   <entry name="vec"       pattern="#1" embellishment="1"/>
289
290   <!-- Elementary Math Control Sequences -->
291
292   <entry name="overline"  pattern="#1"/>
293   <entry name="underline" pattern="#1"/>
294   <entry name="sqrt"      pattern="#1"/>
295   <entry name="root"      pattern="#1\of#2"/>
296   <entry name="over"      pattern="{}"/>
297   <entry name="atop"      pattern="{}"/>
298   <entry name="choose"    pattern="{}"/>
299   <entry name="brace"     pattern="{}"/>
300   <entry name="brack"     pattern="{}"/>
301
302   <!-- Style -->
303
304   <entry name="displaystyle"      pattern="}"/>
305   <entry name="textstyle"         pattern="}"/>
306   <entry name="scriptstyle"       pattern="}"/>
307   <entry name="scriptscriptstyle" pattern="}"/>
308
309   <!-- Non-Italic Function Names -->
310
311   <entry name="arccos" class="i" val="arccos"/>
312   <entry name="arcsin" class="i" val="arcsin"/>
313   <entry name="arctan" class="i" val="arctan"/>
314   <entry name="arg"    class="i" val="arg"/>
315   <entry name="cos"    class="i" val="cos"/>
316   <entry name="cosh"   class="i" val="cosh"/>
317   <entry name="cot"    class="i" val="cot"/>
318   <entry name="coth"   class="i" val="coth"/>
319   <entry name="csc"    class="i" val="csc"/>
320   <entry name="exp"    class="i" val="exp"/>
321   <entry name="deg"    class="i" val="deg"/>
322   <entry name="det"    class="o" val="det" limits="1"/>
323   <entry name="dim"    class="i" val="dim"/>
324   <entry name="gcd"    class="o" val="gcd" limits="1"/>
325   <entry name="hom"    class="i" val="hom"/>
326   <entry name="inf"    class="o" val="inf" limits="1"/>
327   <entry name="ker"    class="i" val="ker"/>
328   <entry name="lg"     class="i" val="lg"/>
329   <entry name="lim"    class="o" val="lim" limits="1"/>
330   <entry name="liminf" class="o" val="liminf" limits="1"/>
331   <entry name="limsup" class="o" val="limsup" limits="1"/>
332   <entry name="ln"     class="i" val="ln"/>
333   <entry name="log"    class="i" val="log"/>
334   <entry name="max"    class="o" val="max" limits="1"/>
335   <entry name="min"    class="o" val="max" limits="1"/>
336   <entry name="Pr"     class="o" val="Pr" limits="1"/>
337   <entry name="sec"    class="i" val="sec"/>
338   <entry name="sin"    class="i" val="sin"/>
339   <entry name="sinh"   class="i" val="sinh"/>
340   <entry name="sup"    class="o" limits="1"/>
341   <entry name="tan"    class="i" val="tan"/>
342   <entry name="tanh"   class="i" val="tanh"/>
343   <entry name="pmod"   pattern="#1"/>
344   <entry name="bmod"   class="o" val="mod"/>
345
346   <!-- Ellipses -->
347
348   <entry name="dots"           class="i" val="&#x2026;"/>
349   <entry name="ldots"          class="i" val="&#x2026;"/>
350   <entry name="cdots"          class="i" val="&#x22ef;"/>
351   <entry name="vdots"          class="i" val="&#x22ee;"/>
352   <entry name="ddots"          class="i" val="&#x22f1;"/>
353
354   <!-- Fonts -->
355
356   <entry name="rm" pattern="}"/>
357   <entry name="bf" pattern="}"/>
358   <entry name="tt" pattern="}"/>
359   <entry name="sl" pattern="}"/>
360   <entry name="it" pattern="}"/>
361
362   <!-- Horizontal Spacing -->
363
364   <entry name=","/>
365   <entry name="&gt;"/>
366   <entry name=";"/>
367   <entry name="!"/>
368
369   <!-- Braces and Matrices -->
370
371   <entry name="matrix"       pattern="#1" table="1"/>
372   <entry name="pmatrix"      pattern="#1" table="1"/>
373   <entry name="bordermatrix" pattern="#1" table="1"/>
374   <entry name="overbrace"    pattern="#1" limits="1"/>
375   <entry name="underbrace"   pattern="#1" limits="1"/>
376   <entry name="cases"        pattern="#1" table="1"/>
377
378 </dictionary>