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>