helm/DEVEL/mathml_editor/dictionary-tex.xml

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