helm/DEVEL/mathml_editor/dictionary.xml

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