helm/DEVEL/mathml_editor/dictionary-tex.xml

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