lib/symbols

   1 #
   2 # things supported by real insets in mathed
   3 #
   4 #
   5 # The syntax of lib/symbols is very ad hoc.
   6 # There are several possible formats of a line, which are quite different.
   7
   8 # decorations
   9 acute               decoration none
  10 bar                 decoration none
  11 breve               decoration none
  12 check               decoration none
  13 ddddot              decoration none       amsmath
  14 dddot               decoration none       amsmath
  15 ddot                decoration none
  16 dot                 decoration none
  17 grave               decoration none
  18 hat                 decoration none
  19 mathring            decoration none
  20 overbrace           decoration none
  21 overleftarrow       decoration none
  22 overleftrightarrow  decoration none       amsmath
  23 overline            decoration none
  24 overrightarrow      decoration none
  25 tilde               decoration none
  26 underbar            decoration none
  27 underbrace          decoration none
  28 underleftarrow      decoration none       amsmath
  29 underleftrightarrow decoration none       amsmath
  30 underline           decoration none
  31 underrightarrow     decoration none       amsmath
  32 #Do not load automatically, it redefines some other symbols, and we don't
  33 #have a possibility to turn automatic loading off like for ams
  34 #undertilde          decoration none       accents
  35 undertilde          decoration none
  36 utilde              decoration none       undertilde
  37 vec                 decoration none
  38 widehat             decoration none
  39 widetilde           decoration none
  40
  41 # dots
  42 dots              dots        none
  43 #Do not load automatically, it redefines some other symbols, and we don't
  44 #have a possibility to turn automatic loading off like for ams
  45 #adots             dots        none        yhmath
  46 adots             dots        none
  47 cdots             dots        none
  48 ddots             dots        none
  49 dotsb             dots        none        amsmath
  50 dotsc             dots        none        amsmath
  51 dotsi             dots        none        amsmath
  52 dotsm             dots        none        amsmath
  53 dotso             dots        none        amsmath
  54 iddots            dots        none        mathdots
  55 ldots             dots        none
  56 vdots             dots        none
  57
  58 # big delimiters
  59 big               big         none
  60 bigl              big         none
  61 bigm              big         none
  62 bigr              big         none
  63 Big               big         none
  64 Bigl              big         none
  65 Bigm              big         none
  66 Bigr              big         none
  67 bigg              big         none
  68 biggl             big         none
  69 biggm             big         none
  70 biggr             big         none
  71 Bigg              big         none
  72 Biggl             big         none
  73 Biggm             big         none
  74 Biggr             big         none
  75 # The following are not standard LaTeX, but defined in the lucida font
  76 # packages. No 'm' versions!
  77 # See lucidabr.dtx for a possible implementation if you want to use these
  78 # with other fonts.
  79 biggg             big         none
  80 bigggl            big         none
  81 bigggr            big         none
  82 Biggg             big         none
  83 Bigggl            big         none
  84 Bigggr            big         none
  85
  86 # font changes
  87 # name           "font"       math/text family  series  shape  color
  88 # mathnormal should stay the first
  89 mathnormal        font        mathmode  inherit  medium   up  math
  90 frak              font        mathmode
  91 mathbb            font        mathmode
  92 mathbf            font        mathmode
  93 mathcal           font        mathmode
  94 mathfrak          font        mathmode
  95 mathit            font        mathmode
  96 mathrm            font        mathmode
  97 mathscr           font        mathmode
  98 mathsf            font        mathmode
  99 mathtt            font        mathmode
 100 textnormal        font        textmode  inherit  medium   up  math
 101 text              font        textmode
 102 textbf            font        textmode
 103 textipa           font        textmode
 104 textit            font        textmode
 105 textmd            font        textmode
 106 textrm            font        textmode
 107 textsc            font        textmode
 108 textsl            font        textmode
 109 textsf            font        textmode
 110 texttt            font        textmode
 111 textup            font        textmode
 112 emph              font        textmode
 113 noun              font        textmode
 114 # ce and cf are provided by the mhchem package
 115 ce                font        forcetext
 116 cf                font        forcetext
 117
 118 # old-style font commands
 119 bf                oldfont     none
 120 cal               oldfont     none
 121 it                oldfont     none
 122 rm                oldfont     none
 123 tt                oldfont     none
 124
 125 # matrix environments
 126 Bmatrix           matrix      none
 127 Vmatrix           matrix      none
 128 bmatrix           matrix      none
 129 matrix            matrix      none
 130 pmatrix           matrix      none
 131 psmatrix          matrix      none
 132 smallmatrix       matrix      none
 133 vmatrix           matrix      none
 134 CD                matrix      none
 135
 136 # split environments with optional valign argument.
 137 # the others (split and alignedat) are hardcoded.
 138 aligned           split       none
 139 gathered          split       none
 140 # from Morten H\o gholm's mathtools.sty:
 141 lgathered         split       none
 142 rgathered         split       none
 143
 144 # references
 145 pageref           ref         none
 146 prettyref         ref         none
 147 refstyle          ref         none
 148 ref               ref         none
 149 vpageref          ref         none
 150 vref              ref         none
 151
 152 # spaces
 153 lyxnegspace       space       none
 154 lyxposspace       space       none
 155 !                 space       none
 156 negthinspace      space       none
 157 negmedspace       space       none
 158 negthickspace     space       none
 159 ,                 space       none
 160 thinspace         space       none
 161 :                 space       none
 162 medspace          space       none
 163 ;                 space       none
 164 thickspace        space       none
 165 enskip            space       none
 166 enspace           space       none
 167 quad              space       none
 168 qquad             space       none
 169 hfill             space       none
 170 hspace*           space       none
 171 hspace            space       none
 172
 173 # styles
 174 displaystyle      style       0
 175 textstyle         style       1
 176 scriptstyle       style       2
 177 scriptscriptstyle style       3
 178
 179 # misc
 180 # The commented lines in this block get misparsed as MathSymbolInset because
 181 # createMathInset() does not know them. I don't know if this is old cruft
 182 # or if it is planned to use this in the future. gb 2006-03-13
 183 #begin             begin       none
 184 #right             right       none
 185 underset          underset    none
 186 overset           overset     none
 187 #protect           protect     none
 188 mbox              mbox        forcetext
 189 tag               mbox        forcetext
 190 tag*              mbox        forcetext
 191 #newcommand        newcommand  none
 192 #label             label       none
 193 #left              left        none
 194 #end               end         none
 195
 196
 197 # In order to use one of the decorations of MathSupport.cpp, the line must
 198 # be handled by a math inset which calls mathed_draw_deco().
 199 # If new symbol do not fit into any of the existing insets, it would be ignored
 200 # and new inset must be programmed.
 201 # Better solutions is to use the font to draw the symbols as below.
 202
 203 #
 204 # symbols generated from fontmath.ltx
 205 #
 206
 207 #symbol            font   charid   charid-in-fallback-Xsymbol-font
 208 alpha              cmm         174  97 mathord  &alpha;
 209 beta               cmm         175  98 mathord  &beta;
 210 gamma              cmm         176 103 mathord  &gamma;
 211 delta              cmm         177 100 mathord  &delta;
 212 epsilon            cmm         178   0 mathord  &epsi;
 213 zeta               cmm         179 122 mathord  &zeta;
 214 eta                cmm         180 104 mathord  &eta;
 215 theta              cmm         181 113 mathord  &theta;
 216 iota               cmm         182 105 mathord  &iota;
 217 kappa              cmm         183 107 mathord  &kappa;
 218 lambda             cmm         184 108 mathord  &lambda;
 219 mu                 cmm         185 109 mathord  &mu;
 220 nu                 cmm         186 110 mathord  &nu;
 221 xi                 cmm         187 120 mathord  &xi;
 222 pi                 cmm         188 112 mathord  &pi;
 223 rho                cmm         189 114 mathord  &rho;
 224 sigma              cmm         190 115 mathord  &sigma;
 225 tau                cmm         191 116 mathord  &tau;
 226 upsilon            cmm         192 117 mathord  &upsi;
 227 phi                cmm         193 102 mathord  &phi;
 228 chi                cmm         194  99 mathord  &chi;
 229 psi                cmm         195 121 mathord  &psi;
 230 omega              cmm          33 119 mathord  &omega;
 231 varepsilon         cmm          34 101 mathord  &epsiv;
 232 vartheta           cmm          35  74 mathord  &thetav;
 233 varpi              cmm          36 118 mathord  &piv;
 234 varrho             cmm          37   0 mathord  &rhov;
 235 varsigma           cmm          38  86 mathord  &sigmav;
 236 varphi             cmm          39 106 mathord  &phiv;
 237 Gamma              cmr         161  71 mathalpha  &Gamma;
 238 Delta              cmr         162  68 mathalpha  &Delta;
 239 Theta              cmr         163  81 mathalpha  &Theta;
 240 Lambda             cmr         164  76 mathalpha  &Lambda;
 241 Xi                 cmr         165  88 mathalpha  &Xi;
 242 Pi                 cmr         166  80 mathalpha  &Pi;
 243 Sigma              cmr         167  83 mathalpha  &Sigma;
 244 Upsilon            cmr         168 161 mathalpha  &Upsi;
 245 Phi                cmr         169  70 mathalpha  &Phi;
 246 Psi                cmr         170  89 mathalpha  &Psi;
 247 Omega              cmr         173  87 mathalpha  &Omega;
 248 aleph              cmsy         64 192 mathord  &aleph;
 249 imath              cmm         123   0 mathord  &imath;
 250 jmath              cmm         124   0 mathord  &jmath;
 251 ell                cmm          96   0 mathord  &ell;
 252 wp                 cmm         125 195 mathord  &weierp;
 253 Re                 cmsy         60 194 mathord  &real;
 254 Im                 cmsy         61 193 mathord  &image;
 255 partial            cmm          64 182 mathord  &part;
 256 infty              cmsy         49 165 mathord  &infin;
 257 prime              cmsy         48 162 mathord  &prime;
 258 emptyset           cmsy         59   0 mathord  &empty;
 259 nabla              cmsy        114 209 mathord  &nabla;
 260 top                cmsy         62   0 mathord  &top;
 261 bot                cmsy         63  94 mathord  &bottom;
 262 triangle           cmsy         52   0 mathord  &utri;
 263 forall             cmsy         56  34 mathord  &forall;
 264 exists             cmsy         57  36 mathord  &exist;
 265 neg                cmsy         58 216 mathord  &not;
 266 lnot               cmsy         58 216 mathord  &not;
 267 flat               cmm          91   0 mathord  &flat;
 268 natural            cmm          92   0 mathord  &natur;
 269 sharp              cmm          93  35 mathord  &sharp;
 270 clubsuit           cmsy        124 167 mathord  &clubs;
 271 diamondsuit        cmsy        125 168 mathord  &#x2662;
 272 heartsuit          cmsy        126 169 mathord  &#x2661;
 273 spadesuit          cmsy        127 170 mathord  &spades;
 274 # We define lyxnot as mathrel in order to have proper alignment
 275 lyxnot             cmsy         54  47 mathrel  &ssetmn;
 276 iffont cmsy
 277 # 9mu = 0.5em which is the extra space added to relation operators
 278 \def\not{\lyxnot\kern-9mu}
 279 else
 280 \def\not{\kern4mu\lyxnot\kern-19mu}
 281 endif
 282 coprod             cmex         96   0 mathop   &amalg;
 283 bigvee             cmex         87   0 mathop   &xvee;
 284 bigwedge           cmex         86   0 mathop   &xwedge;
 285 biguplus           cmex         85   0 mathop   &xuplus;
 286 bigcap             cmex         84   0 mathop   &xcap;
 287 bigcup             cmex         83   0 mathop   &xcup;
 288 prod               cmex         81 213 mathop   &prod;
 289 sum                cmex         80 229 mathop   &sum;
 290 bigotimes          cmex         78   0 mathop   &xotime;
 291 bigoplus           cmex         76   0 mathop   &xoplus;
 292 bigodot            cmex         74   0 mathop   &xodot;
 293 bigsqcup           cmex         70   0 mathop   &xsqcup;
 294 smallint           cmsy        115   0 mathop   &int;
 295 triangleleft       cmm          47   0 mathbin  &ltri;
 296 triangleright      cmm          46   0 mathbin  &rtri;
 297 bigtriangleup      cmsy         52   0 mathbin  &xutri;
 298 bigtriangledown    cmsy         53   0 mathbin  &xdtri;
 299 wedge              cmsy         94 217 mathbin  &and;
 300 land               cmsy         94 217 mathbin  &xwedge;
 301 vee                cmsy         95 218 mathbin  &or;
 302 lor                cmsy         95 218 mathbin  &xvee;
 303 cap                cmsy         92 199 mathbin  &cap;
 304 cup                cmsy         91 200 mathbin  &cup;
 305 ddagger            cmsy        122   0 mathbin  &Dagger;
 306 dagger             cmsy        121   0 mathbin  &dagger;
 307 sqcap              cmsy        117   0 mathbin  &sqcap;
 308 sqcup              cmsy        116   0 mathbin  &sqcup;
 309 uplus              cmsy         93   0 mathbin  &uplus;
 310 amalg              cmsy        113   0 mathbin  &amalg;
 311 diamond            cmsy        166 224 mathbin  &loz;
 312 bullet             cmsy        178 183 mathbin  &bull;
 313 wr                 cmsy        111   0 mathbin  &wreath;
 314 div                cmsy        165 184 mathbin  &divide;
 315 odot               cmsy        175   0 mathbin  &odot;
 316 oslash             cmsy        174 198 mathbin  &oslash;
 317 otimes             cmsy        173 196 mathbin  &otimes;
 318 ominus             cmsy        170   0 mathbin  &ominus;
 319 oplus              cmsy        169 197 mathbin  &oplus;
 320 mp                 cmsy        168   0 mathbin  &mnplus;
 321 pm                 cmsy        167 177 mathbin  &plusmn;
 322 circ               cmsy        177   0 mathbin  &cir;
 323 bigcirc            cmsy        176   0 mathbin  &xcirc;
 324 setminus           cmsy        110   0 mathbin  &setmn;
 325 cdot               cmsy        162 215 mathbin  &sdot;
 326 ast                cmsy        164   0 mathbin  &lowast;
 327 times              cmsy        163 180 mathbin  &times;
 328 star               cmm          63   0 mathbin  &starf;
 329 propto             cmsy         47 181 mathrel  &vprop;
 330 sqsubseteq         cmsy        118   0 mathrel  &sqsube;
 331 sqsupseteq         cmsy        119   0 mathrel  &sqsupe;
 332 parallel           cmsy        107   0 mathrel  &spar;
 333 mid                cmsy        106 124 mathrel  &smid;
 334 dashv              cmsy         97   0 mathrel  &dashv;
 335 vdash              cmsy         96   0 mathrel  &vdash;
 336 nearrow            cmsy         37   0 mathrel  &nearr;
 337 searrow            cmsy         38   0 mathrel  &searr;
 338 nwarrow            cmsy         45   0 mathrel  &nwarr;
 339 swarrow            cmsy         46   0 mathrel  &swarr;
 340 Leftrightarrow     cmsy         44 219 mathrel  &harr;
 341 Leftarrow          cmsy         40 220 mathrel  &lArr;
 342 Rightarrow         cmsy         41 222 mathrel  &rArr;
 343 leq                cmsy        183 163 mathrel  &le;
 344 le                 cmsy        183 163 mathrel  &le;
 345 geq                cmsy        184 179 mathrel  &ge;
 346 ge                 cmsy        184 179 mathrel  &ge;
 347 succ               cmsy        194   0 mathrel  &sc;
 348 prec               cmsy        193   0 mathrel  &pr;
 349 approx             cmsy        188 187 mathrel  &ap;
 350 succeq             cmsy        186   0 mathrel  &sce;
 351 preceq             cmsy        185   0 mathrel  &pre;
 352 supset             cmsy        190 201 mathrel  &sup;
 353 subset             cmsy        189 204 mathrel  &sub;
 354 supseteq           cmsy        182 202 mathrel  &supe;
 355 subseteq           cmsy        181 205 mathrel  &sube;
 356 in                 cmsy         50 206 mathrel  &isin;
 357 ni                 cmsy         51  39 mathrel  &ni;
 358 owns               cmsy         51  39 mathrel  &ni;
 359 gg                 cmsy        192   0 mathrel  &gt;
 360 ll                 cmsy        191   0 mathrel  &lt;
 361 leftrightarrow     cmsy         36 171 mathrel  &harr;
 362 leftarrow          cmsy        195 172 mathrel  &larr;
 363 gets               cmsy        195 172 mathrel  &larr;
 364 rightarrow         cmsy         33 174 mathrel  &rarr;
 365 to                 cmsy         33 174 mathrel  &rarr;
 366 mapstochar         cmsy         55   0 mathrel  x
 367 sim                cmsy        187 126 mathrel  &sim;
 368 simeq              cmsy         39   0 mathrel  &sime;
 369 perp               cmsy         63   0 mathrel  &perp;
 370 equiv              cmsy        180 186 mathrel  &equiv;
 371 asymp              cmsy        179   0 mathrel  &asymp;
 372 smile              cmm          94   0 mathrel  &smile;
 373 frown              cmm          95   0 mathrel  &frown;
 374 leftharpoonup      cmm          40   0 mathrel  &lharu;
 375 leftharpoondown    cmm          41   0 mathrel  &lhard;
 376 rightharpoonup     cmm          42   0 mathrel  &rharu;
 377 rightharpoondown   cmm          43   0 mathrel  &rhard;
 378 lhook              cmm          44   0 mathrel  x
 379 rhook              cmm          45   0 mathrel  x
 380 ldotp              cmm          58   0 mathpunct  <mo>.</mo>
 381 cdotp              cmsy        162   0 mathpunct  &sdot;
 382 colon              cmr          58  58 mathpunct  &colon;
 383 arrowvert          cmsy        106   0 mathord  &verbar;
 384 Arrowvert          cmsy        107   0 mathord  &par;
 385 Vert               cmsy        107   0 mathord  &par;
 386 |                  cmsy        107   0 mathord  &verbar;
 387 vert               cmsy        106   0 mathord  &verbar;
 388 uparrow            cmsy         34 173 mathrel  &uarr;
 389 downarrow          cmsy         35 175 mathrel  &darr;
 390 updownarrow        cmsy        108   0 mathrel  &varr;
 391 Uparrow            cmsy         42 221 mathrel  &uArr;
 392 Downarrow          cmsy         43 223 mathrel  &dArr;
 393 Updownarrow        cmsy        109   0 mathrel  &vArr;
 394 backslash          cmsy        110   0 mathord  &bsol;
 395 rangle             cmsy        105 241 mathclose  &rang;
 396 langle             cmsy        104 225 mathopen  &lang;
 397 rbrace             cmsy        103   0 mathclose  &rcub;
 398 lbrace             cmsy        102   0 mathopen  &lcub;
 399 rceil              cmsy        101 249 mathclose  &rceil;
 400 lceil              cmsy        100 233 mathopen  &lceil;
 401 rfloor             cmsy         99 251 mathclose  &rfloor;
 402 lfloor             cmsy         98 235 mathopen  &lfloor;
 403 mathparagraph      cmsy        123   0 mathord  &para;
 404 mathsection        cmsy        120   0 mathord  &sect;
 405 mathdollar         cmr          36   0 mathord  &dollar;
 406
 407 # Generated from amsfonts.sty
 408
 409 yen                msa          85   0 mathord  &yen;
 410 checkmark          msa          88   0 mathord  &check;
 411 circledR           msa         114   0 mathord  &reg;
 412 maltese            msa         122   0 mathord  &malt;
 413 ulcorner           msa         112   0 mathopen  &ulcorn;
 414 urcorner           msa         113   0 mathclose  &urcorn;
 415 llcorner           msa         120   0 mathopen  &dlcorn;
 416 lrcorner           msa         121   0 mathclose  &drcorn;
 417 rightleftharpoons  msa         173   0 mathrel  &lrhar;
 418 angle              msa          92 208 mathord  &ang;
 419 hbar               msb         126   0 mathord  &planck;
 420 sqsubset           msa          64   0 mathrel  &sqsub;
 421 sqsupset           msa          65   0 mathrel  &sqsup;
 422 mho                msb         102   0 mathord  &mho;
 423 square             msa         164   0 mathord  &square;
 424 Box                msa         164   0 mathord  &square;
 425 lozenge            msa         167   0 mathord  &loz;
 426 Diamond            msa         167   0 mathord  xdiam;
 427 vartriangleright   msa          66   0 mathrel  &rtri;
 428 vartriangleleft    msa          67   0 mathrel  &ltri;
 429 trianglerighteq    msa          68   0 mathrel  &rtrie;
 430 trianglelefteq     msa          69   0 mathrel  &ltrie;
 431 rightsquigarrow    msa         195   0 mathrel  &rarrw;
 432 # This may not be right, but is the closest I can find.
 433 leadsto            msa         195   0 mathrel  &rarrc;
 434 lhd                msa          67   0 mathbin  &ltri;
 435 unlhd              msa          69   0 mathbin  &ltrie;
 436 rhd                msa          66   0 mathbin  &rtri;
 437 unrhd              msa          68   0 mathbin  &rtrie;
 438
 439 # Generated from amssymb.sty
 440
 441 boxdot             msa         161   0 mathbin  &sdotb;
 442 boxplus            msa         162   0 mathbin  &plusb;
 443 boxtimes           msa         163   0 mathbin  &timesb;
 444 blacksquare        msa         165   0 mathord  &block;
 445 centerdot          msa         166   0 mathbin  &squarf;
 446 blacklozenge       msa         168   0 mathord  &diams;
 447 circlearrowright   msa         169   0 mathrel  &orarr;
 448 circlearrowleft    msa         170   0 mathrel  &olarr;
 449 leftrightharpoons  msa         174   0 mathrel  &lrhar;
 450 boxminus           msa         175   0 mathbin  &minusb;
 451 Vdash              msa         176   0 mathrel  &Vdash;
 452 Vvdash             msa         177   0 mathrel  &Vvdash;
 453 vDash              msa         178   0 mathrel  &vDash;
 454 twoheadrightarrow  msa         179   0 mathrel  &Rarr;
 455 twoheadleftarrow   msa         180   0 mathrel  &Larr;
 456 leftleftarrows     msa         181   0 mathrel  &llarr;
 457 rightrightarrows   msa         182   0 mathrel  &rrarr;
 458 upuparrows         msa         183   0 mathrel  &uuarr;
 459 downdownarrows     msa         184   0 mathrel  &ddarr;
 460 upharpoonright     msa         185   0 mathrel  &uharr;
 461 restriction        msa         185   0 mathrel  &uharr;
 462 downharpoonright   msa         186   0 mathrel  &dharr;
 463 upharpoonleft      msa         187   0 mathrel  &uharl;
 464 downharpoonleft    msa         188   0 mathrel  &dharl;
 465 rightarrowtail     msa         189   0 mathrel  &rarrtl;
 466 leftarrowtail      msa         190   0 mathrel  &larrtl;
 467 leftrightarrows    msa         191   0 mathrel  &lrarr;
 468 rightleftarrows    msa         192   0 mathrel  &rlarr;
 469 Lsh                msa         193   0 mathrel  &lsh;
 470 Rsh                msa         194   0 mathrel  &rsh;
 471 leftrightsquigarrow msa         33   0 mathrel  &harrw;
 472 looparrowleft      msa          34   0 mathrel  &larrlp;
 473 looparrowright     msa          35   0 mathrel  &rarrlp;
 474 circeq             msa          36   0 mathrel  &cire;
 475 succsim            msa          37   0 mathrel  &scsim;
 476 gtrsim             msa          38   0 mathrel  &gsim;
 477 gtrapprox          msa          39   0 mathrel  &gap;
 478 multimap           msa          40   0 mathrel  &mumap;
 479 therefore          msa          41  92 mathrel  &there4;
 480 because            msa          42   0 mathrel  &becaus;
 481 doteqdot           msa          43   0 mathrel  &eDot;
 482 Doteq              msa          43   0 mathrel  &eDot;
 483 triangleq          msa          44   0 mathrel  &trie;
 484 precsim            msa          45   0 mathrel  &prsim;
 485 lesssim            msa          46   0 mathrel  &lsim;
 486 lessapprox         msa          47   0 mathrel  &lap;
 487 eqslantless        msa          48   0 mathrel  &els;
 488 eqslantgtr         msa          49   0 mathrel  &egs;
 489 curlyeqprec        msa          50   0 mathrel  &cuepr;
 490 curlyeqsucc        msa          51   0 mathrel  &cuesc;
 491 preccurlyeq        msa          52   0 mathrel  &prcue;
 492 leqq               msa          53   0 mathrel  &lE;
 493 leqslant           msa          54   0 mathrel  &les;
 494 lessgtr            msa          55   0 mathrel  &lg;
 495 backprime          msa          56   0 mathord  &bprime;
 496 risingdotseq       msa          58   0 mathrel  &erDot;
 497 fallingdotseq      msa          59   0 mathrel  &efDot;
 498 succcurlyeq        msa          60   0 mathrel  &sccue;
 499 geqq               msa          61   0 mathrel  &gE;
 500 geqslant           msa          62   0 mathrel  &ges;
 501 gtrless            msa          63   0 mathrel  &gl;
 502 bigstar            msa          70   0 mathord  &starf;
 503 between            msa          71   0 mathrel  &twixt;
 504 blacktriangledown  msa          72   0 mathord  &dtrif;
 505 blacktriangleright msa          73   0 mathrel  &rtrif;
 506 blacktriangleleft  msa          74   0 mathrel  &ltrif;
 507 vartriangle        msa          77   0 mathrel  &#x25b5;
 508 blacktriangle      msa          78   0 mathord  &utrif;
 509 triangledown       msa          79   0 mathord  &dtri;
 510 eqcirc             msa          80   0 mathrel  &ecir;
 511 lesseqgtr          msa          81   0 mathrel  &leg;
 512 gtreqless          msa          82   0 mathrel  &gel;
 513 lesseqqgtr         msa          83   0 mathrel  &lEg;
 514 gtreqqless         msa          84   0 mathrel  &gEl;
 515 Rrightarrow        msa          86   0 mathrel  &rAarr;
 516 Lleftarrow         msa          87   0 mathrel  &lAarr;
 517 veebar             msa          89   0 mathbin  &veebar;
 518 barwedge           msa          90   0 mathbin  &barwed;
 519 doublebarwedge     msa          91   0 mathbin  &Barwed;
 520 measuredangle      msa          93   0 mathord  &angmsd;
 521 sphericalangle     msa          94   0 mathord  &angsph;
 522 varpropto          msa          95   0 mathrel  &vprop;
 523 smallsmile         msa          96   0 mathrel  &ssmile;
 524 smallfrown         msa          97   0 mathrel  &sfrown;
 525 Subset             msa          98   0 mathrel  &Sub;
 526 Supset             msa          99   0 mathrel  &Sup;
 527 Cup                msa         100   0 mathbin  &Cup;
 528 doublecup          msa         100   0 mathbin  &Cup;
 529 Cap                msa         101   0 mathbin  &Cap;
 530 doublecap          msa         101   0 mathbin  &Cap;
 531 curlywedge         msa         102   0 mathbin  &cuwed;
 532 curlyvee           msa         103   0 mathbin  &cuvee;
 533 leftthreetimes     msa         104   0 mathbin  &lthree;
 534 rightthreetimes    msa         105   0 mathbin  &rthree;
 535 subseteqq          msa         106   0 mathrel  &subE;
 536 supseteqq          msa         107   0 mathrel  &supE;
 537 bumpeq             msa         108   0 mathrel  &bumpe;
 538 Bumpeq             msa         109   0 mathrel  &bump;
 539 lll                msa         110   0 mathrel  &Ll;
 540 llltr              msa         110   0 mathrel  &Ll;
 541 ggg                msa         111   0 mathrel  &Gg;
 542 gggtr              msa         111   0 mathrel  &Gg;
 543 circledS           msa         115   0 mathord  &oS;
 544 pitchfork          msa         116   0 mathrel  &fork;
 545 dotplus            msa         117   0 mathbin  &plusdo;
 546 backsim            msa         118   0 mathrel  &bsim;
 547 backsimeq          msa         119   0 mathrel  &bsime;
 548 complement         msa         123   0 mathord  &comp;
 549 intercal           msa         124   0 mathbin  &intcal;
 550 circledcirc        msa         125   0 mathbin  &ocir;
 551 circledast         msa         126   0 mathbin  &oast;
 552 circleddash        msa         127   0 mathbin  &odash;
 553 lvertneqq          msb         161   0 mathrel  &lvnE;
 554 gvertneqq          msb         162   0 mathrel  &gvnE;
 555 nleq               msb         163   0 mathrel  &nle;
 556 ngeq               msb         164   0 mathrel  &nge;
 557 nless              msb         165   0 mathrel  &nlt;
 558 ngtr               msb         166   0 mathrel  &ngt;
 559 nprec              msb         167   0 mathrel  &npr;
 560 nsucc              msb         168   0 mathrel  &nsc;
 561 lneqq              msb         169   0 mathrel  &lnE;
 562 gneqq              msb         170   0 mathrel  &gnE;
 563 nleqslant          msb         173   0 mathrel  &nles;
 564 ngeqslant          msb         174   0 mathrel  &nges;
 565 lneq               msb         175   0 mathrel  &nle;
 566 gneq               msb         176   0 mathrel  &gne;
 567 npreceq            msb         177   0 mathrel  &nprcue;
 568 nsucceq            msb         178   0 mathrel  &nsccue;
 569 precnsim           msb         179   0 mathrel  &prnsim;
 570 succnsim           msb         180   0 mathrel  &scnsim;
 571 lnsim              msb         181   0 mathrel  &lnsim;
 572 gnsim              msb         182   0 mathrel  &gnsim;
 573 nleqq              msb         183   0 mathrel  &nlE;
 574 ngeqq              msb         184   0 mathrel  &ngE;
 575 precneqq           msb         185   0 mathrel  &prnE;
 576 succneqq           msb         186   0 mathrel  &scnE;
 577 precnapprox        msb         187   0 mathrel  &prnap;
 578 succnapprox        msb         188   0 mathrel  &scnap;
 579 lnapprox           msb         189   0 mathrel  &lnap;
 580 gnapprox           msb         190   0 mathrel  &gnap;
 581 nsim               msb         191   0 mathrel  &nsim;
 582 ncong              msb         192   0 mathrel  &ncong;
 583 diagup             msb         193   0 mathord  &#x2571;
 584 diagdown           msb         194   0 mathord  &#x2572;
 585 varsubsetneq       msb         195   0 mathrel  &vsubne;
 586 varsupsetneq       msb          33   0 mathrel  &vsupne;
 587 nsubseteqq         msb          34   0 mathrel  &nsube;
 588 nsupseteqq         msb          35   0 mathrel  &nsupe;
 589 subsetneqq         msb          36   0 mathrel  &nsubE;
 590 supsetneqq         msb          37   0 mathrel  &nsupE;
 591 varsubsetneqq      msb          38   0 mathrel  &vsubnE;
 592 varsupsetneqq      msb          39   0 mathrel  &vsupnE;
 593 subsetneq          msb          40   0 mathrel  &subne;
 594 supsetneq          msb          41   0 mathrel  &supne;
 595 nsubseteq          msb          42   0 mathrel  &nsube;
 596 nsupseteq          msb          43   0 mathrel  &nsupe;
 597 nparallel          msb          44   0 mathrel  &npar;
 598 nmid               msb          45   0 mathrel  &rnmid;
 599 nshortmid          msb          46   0 mathrel  &nsmid;
 600 nshortparallel     msb          47   0 mathrel  &nspar;
 601 nvdash             msb          48   0 mathrel  &nvdash;
 602 nVdash             msb          49   0 mathrel  &nVdash;
 603 nvDash             msb          50   0 mathrel  &nvDash;
 604 nVDash             msb          51   0 mathrel  &nVDash;
 605 ntrianglerighteq   msb          52   0 mathrel  &nrtrie;
 606 ntrianglelefteq    msb          53   0 mathrel  &nltrie;
 607 ntriangleleft      msb          54   0 mathrel  &nltri;
 608 ntriangleright     msb          55   0 mathrel  &nrtri;
 609 nleftarrow         msb          56   0 mathrel  &nlarr;
 610 nrightarrow        msb          57   0 mathrel  &nrarr;
 611 nLeftarrow         msb          58   0 mathrel  &nlArr;
 612 nRightarrow        msb          59   0 mathrel  &nrArr;
 613 nLeftrightarrow    msb          60   0 mathrel  &nhArr;
 614 nleftrightarrow    msb          61   0 mathrel  &nharr;
 615 divideontimes      msb          62   0 mathbin  &divonx;
 616 varnothing         msb          63   0 mathord  &emptyv;
 617 nexists            msb          64   0 mathord  &nexist;
 618 Finv               msb          96   0 mathord  &#x2132;
 619 Game               msb          97   0 mathord  &#x2141;
 620 eth                msb         103   0 mathord  &#x00F0;
 621 eqsim              msb         104   0 mathrel  &esim;
 622 beth               msb         105   0 mathord  &beth;
 623 gimel              msb         106   0 mathord  &gimel;
 624 daleth             msb         107   0 mathord  &daleth;
 625 lessdot            msb         108   0 mathbin  &ltdot;
 626 gtrdot             msb         109   0 mathbin  &gtdot;
 627 ltimes             msb         110   0 mathbin  &ltimes;
 628 rtimes             msb         111   0 mathbin  &rtimes;
 629 shortmid           msb         112   0 mathrel  &smid;
 630 shortparallel      msb         113   0 mathrel  &spar;
 631 smallsetminus      msb         114   0 mathbin  &ssetmn;
 632 thicksim           msb         115   0 mathrel  &thksim;
 633 thickapprox        msb         116   0 mathrel  &thkap;
 634 approxeq           msb         117   0 mathrel  &ape;
 635 succapprox         msb         118   0 mathrel  &scap;
 636 precapprox         msb         119   0 mathrel  &prap;
 637 curvearrowleft     msb         120   0 mathrel  &cularr;
 638 curvearrowright    msb         121   0 mathrel  &curarr;
 639 digamma            msb         122   0 mathord  &gammad;
 640 varkappa           msb         123   0 mathord  &kappav;
 641 # Note: Other blackboard symbols are in the same unicode range
 642 Bbbk               msb         124   0 mathord  &#x1d55c;
 643 hslash             msb         125   0 mathord  &plankv;
 644 hbar               msb         126   0 mathord  &planck;
 645 backepsilon        msb         127   0 mathrel  &bepsi;
 646
 647 lyxbar             cmsy        161   0 mathord  &mdash;
 648 lyxeq              cmr          61   0 mathord  =
 649 lyxdabar           msa          57   0 mathord  &ndash;
 650 lyxright           msa          75   0 mathord  &rarr;
 651 lyxleft            msa          76   0 mathord  &larr;
 652
 653 male               wasy          26  0 x        &male;
 654 female             wasy          25  0 x        &female;
 655 currency           wasy          27  0 x        &curren;
 656 phone              wasy          7   0 x        &phone;
 657 recorder           wasy          6   0 x        &telrec;
 658 clock              wasy          28  0 x        &clock;
 659 lightning          wasy          18  0 x        &#x2607;
 660 pointer            wasy          9   0 x        x
 661 RIGHTarrow         wasy          17  0 x        &#x25B6;
 662 LEFTarrow          wasy          16  0 x        &#x25C0;
 663 UParrow            wasy          75  0 x        &#x25B2;
 664 DOWNarrow          wasy          76  0 x        &#x25BC;
 665 #AC                 wasy          n0.5pt\wasyfamily\char58\kern0.5pt}}
 666 #HF         {\leavevmode
 667 #   \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
 668 #   \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
 669 #VHF                wasy          64  0 x        x
 670 Square             wasy          50  0 x        &square;
 671 #CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
 672 XBox               wasy          52  0 x        &timesb;
 673 hexagon            wasy          55  0 x        &#x2b21;
 674 pentagon           wasy          68  0 x        &#x2b20;
 675 octagon            wasy          56  0 x        x
 676 varhexagon         wasy          57  0 x        &#x2b21;
 677 hexstar            wasy          65  0 x        &sext;
 678 varhexstar         wasy          66  0 x        &sext;
 679 davidsstar         wasy          67  0 x        &#x2721;
 680 diameter           wasy          31  0 x        &#x2300;
 681 # Unicode is wrong, but a true alternate doesn't seem available.
 682 invdiameter        wasy          21  0 x        &#x2300;
 683 varangle           wasy          30  0 x        &angsph;
 684 wasylozenge        wasy          53  0 x        &#x2311;
 685 kreuz              wasy          54  0 x        &#x2720;
 686 smiley             wasy          44  0 x        &#x263A;
 687 frownie            wasy          47  0 x        &#x2639;
 688 blacksmiley        wasy          45  0 x        &#x263B;
 689 sun                wasy          46  0 x        &#x263C;
 690 checked            wasy          8   0 x        &#x2713;
 691 bell               wasy          10  0 x        &#x237E;
 692 eighthnote         wasy          11  0 x        &#x266E;
 693 quarternote        wasy          12  0 x        &#x2669;
 694 halfnote           wasy          13  0 x        &#x1d15e;
 695 fullnote           wasy          14  0 x        &#x1d15d;
 696 twonotes           wasy          15  0 x        &#x266B;
 697 brokenvert         wasy          124 0 x        &brvbar;
 698 ataribox           wasy          109 0 x        x
 699 wasytherefore      wasy          5   0 x        &there4;
 700 Circle             wasy          35  0 x        &cir;
 701 CIRCLE             wasy          32  0 x        &#x25cF;
 702 Leftcircle         wasy          73  0 x        x
 703 LEFTCIRCLE         wasy          71  0 x        &#x25D6;
 704 Rightcircle        wasy          74  0 x        x
 705 RIGHTCIRCLE        wasy          72  0 x        &#x25D7;
 706 #LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
 707 #RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
 708
 709 # Defined by amsmath.sty
 710
 711 varGamma           cmm         161  0  mathord  x  amsmath
 712 varDelta           cmm         162  0  mathord  x  amsmath
 713 varTheta           cmm         163  0  mathord  x  amsmath
 714 varLambda          cmm         164  0  mathord  x  amsmath
 715 varXi              cmm         165  0  mathord  x  amsmath
 716 varPi              cmm         166  0  mathord  x  amsmath
 717 varSigma           cmm         167  0  mathord  x  amsmath
 718 varUpsilon         cmm         168  0  mathord  x  amsmath
 719 varPhi             cmm         169  0  mathord  x  amsmath
 720 varPsi             cmm         170  0  mathord  x  amsmath
 721 varOmega           cmm         173  0  mathord  x  amsmath
 722
 723 #
 724 # wasy astronomy
 725 #
 726
 727 vernal             wasy          23  0 x        &#x2648;
 728 ascnode            wasy          19  0 x        &#x260A;
 729 descnode           wasy          20  0 x        &#x260B;
 730 fullmoon           wasy          35  0 x        &circ;
 731 newmoon            wasy          32  0 x        &#x25CF;
 732 leftmoon           wasy          36  0 x        &#x263E;
 733 rightmoon          wasy          37  0 x        &#x263D;
 734 astrosun           cmsy         175  0 mathbin  &#x2609;
 735 mercury            wasy          39  0 x        &#x263F;
 736 venus              wasy          25  0 x        &#x2640;
 737 earth              wasy          38  0 x        &#x2641;
 738 mars               wasy          26  0 x        &#x2642;
 739 jupiter            wasy          88  0 x        &#x2643;
 740 saturn             wasy          89  0 x        &#x2644;
 741 uranus             wasy          90  0 x        &#x2645;
 742 neptune            wasy          91  0 x        &#x2646;
 743 pluto              wasy          92  0 x        &#x2647;
 744
 745 #
 746 # wasy zodiac
 747 #
 748 aries              wasy          23  0 x        &#x2648;
 749 taurus             wasy          93  0 x        &#x2649;
 750 gemini             wasy          94  0 x        &#x264A;
 751 cancer             wasy          95  0 x        &#x264B;
 752 leo                wasy          19  0 x        &#x264C;
 753 virgo              wasy          96  0 x        &#x264D;
 754 libra              wasy          97  0 x        &#x264E;
 755 scorpio            wasy          98  0 x        &#x264F;
 756 sagittarius        wasy          99  0 x        &#x2650;
 757 capricornus        wasy          100 0 x        &#x2651;
 758 aquarius           wasy          101 0 x        &#x2652;
 759 pisces             wasy          102 0 x        &#x2653;
 760 conjunction        wasy          86  0 x        &#x260C;
 761 opposition         wasy          87  0 x        &#x260D;
 762 # APL characters
 763 APLstar            wasy          69  0 x        &#x235F;
 764 APLlog             wasy          22  0 x        x
 765 APLbox             wasy          126 0 x        &#x2395;
 766 APLup              wasy          0   0 x        x
 767 APLdown            wasy          70  0 x        x
 768 APLinput           wasy          125 0 x        x
 769 APLcomment         wasy          127 0 x        x
 770 #APLinv     {{\hbox to 0pt{$\div$\hss}\APLbox}}
 771 APLuparrowbox      wasy         110  0 x        &#x2350;
 772 APLdownarrowbox    wasy         111  0 x        &#x2357;
 773 APLleftarrowbox    wasy         112  0 x        &#x2347;
 774 APLrightarrowbox   wasy         113  0 x        &#x2348;
 775
 776 # math characters
 777 Bowtie             wasy          49  0 x        &#x22C8;
 778 leftturn           wasy          34  0 x        &#x27F2;
 779 rightturn          wasy          33  0 x        &#x27F3;
 780 # diagrams
 781 #photon             wasy          58\char58\char58\char58}}
 782 #gluon              wasy          81\char80\char80\char80%
 783 #char80\char80\char80\char82}}
 784 # special characters
 785 cent               wasy         103   0 x        &#00A2;
 786 permil             wasy         104   0 x        &#x2030;
 787 agemO              wasy          48   0 x        &mho;
 788 thorn              wasy         105   0 x        &#x00FE;
 789 Thorn              wasy         106   0 x        &#x00DE;
 790 openo              wasy         108   0 x        &#x0254;
 791 inve               wasy          85   0 x        &#x0259;
 792
 793 mho               wasy          48    0  mathord &mho;
 794 #Join              wasy          49    0  mathrel x
 795 #Box               wasy          50    0  mathord x
 796 #Diamond           wasy          51    0  mathord x
 797 leadsto            wasy          59    0  mathrel &#x2933;
 798 sqsubset          wasy          60    0  mathrel &sqsub;
 799 sqsupset          wasy          61    0  mathrel &sqsup;
 800 #lhd               wasy           1    0  mathbin x
 801 #unlhd             wasy           2    0  mathbin x
 802 LHD                wasy          16    0  mathbin &#x2C50;
 803 #rhd               wasy           3    0  mathbin x
 804 #unrhd             wasy           4    0  mathbin x
 805 RHD                wasy          17    0  mathbin &#x25B6;
 806 apprle             wasy          62    0  mathrel &lsim;
 807 apprge             wasy          63    0  mathrel &gsim;
 808 wasypropto         wasy          29    0  mathrel &prop;
 809 invneg             wasy          24    0  mathrel &#x2310;
 810 ocircle            wasy          35    0  mathbin &#x229A;
 811 logof              wasy          22    0  mathrel x
 812 varint             wasy         114    0  mathop  &int;
 813 varoint            wasy         117    0  mathop  &int;
 814
 815 # symbols from the mhchem package, all of them are equivalent to a math symbol
 816 # mhchem is not loaded because these commands can only be used inside
 817 # a \ce or a \cf inset
 818
 819 sbond              cmsy        161   0 mathord  x
 820 dbond              cmr          61   0 mathord  x
 821 tbond              cmsy        180 186 mathord  x
 822
 823 # From the esint package:
 824 # We emulate some symbols if the esint10 font is not available.
 825 # It is important that they have the same requirements in both cases,
 826 # otherwise the LaTeX output would depend on the availability of the esint10
 827 # font in the GUI
 828 # Note that we do _not_ require the wasysym package for any integral besides
 829 # \varint and \varoint. The reason is that the integrals of the wasysym
 830 # package do not match the standard \int and \intop. See
 831 # http://www.lyx.org/trac/ticket/1942 for details.
 832 # If the wasysym integrals are really wanted then one has to load the package
 833 # manually and disable automatic loading of amsmath and esint.
 834 iffont esint
 835 int                esint        001    0  mathop  &int;  esint
 836 intop              esint        001    0  mathop  &int;  esint
 837 iint               esint        003    0  mathop  &Int;         esint|amsmath
 838 iintop             esint        003    0  mathop  &Int;      esint
 839 iiint              esint        005    0  mathop  &tint;        esint|amsmath
 840
 841 iiintop            esint        005    0  mathop  &tint;      esint
 842 iiiint             esint        007    0  mathop  &qint;        esint|amsmath
 843
 844 iiiintop           esint        007    0  mathop  &qint;      esint
 845 oint               esint        011    0  mathop  &conint;      esint
 846
 847 ointop             esint        011    0  mathop  &conint;      esint
 848 oiint              esint        013    0  mathop  &Conint;      esint
 849 oiintop            esint        013    0  mathop  &Conint;      esint
 850 sqint              esint        015    0  mathop  x      esint
 851 sqintop            esint        015    0  mathop  x      esint
 852 sqiint             esint        017    0  mathop  x      esint
 853 sqiintop           esint        017    0  mathop  x      esint
 854 dotsint            esint        019    0  mathop  &int;&ctdot;&int;      esint
 855 dotsintop          esint        019    0  mathop  &int;&ctdot;&int;      esint
 856 ointctrclockwise   esint        023    0  mathop  &awconint;      esint
 857 ointctrclockwiseop esint        023    0  mathop  &awconint;      esint
 858 ointclockwise      esint        025    0  mathop  &cwconint;      esint
 859 ointclockwiseop    esint        025    0  mathop  &cwconint;      esint
 860 else
 861 int                cmex          82  242  mathop  &int;  esint
 862 intop              cmex          82  242  mathop  &int;  esint
 863 iint               wasy         115    0  mathop  &Int;         esint|amsmath
 864 iintop             wasy         115    0  mathop  &Int      esint
 865 iiint              wasy         116    0  mathop  &tint;        esint|amsmath
 866
 867 iiintop            wasy         116    0  mathop  &tint;      esint
 868 \def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esint|amsmath
 869 \def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}      esint
 870 \def\dotsint{\int\kern-3mu\cdots\kern-3mu\int}                  esint
 871 \def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int}                esint
 872 oint               cmex          72    0  mathop  &conint;      esint
 873
 874 ointop             cmex          72    0  mathop  &conint;      esint
 875 oiint              wasy         118    0  mathop  &Conint;      esint
 876 oiintop            wasy         118    0  mathop  &Conint;      esint
 877 \def\sqint{\square\kern-17mu\int\kern6mu}                       esint
 878 \def\sqintop{\square\kern-17mu\int\kern6mu}                     esint
 879 \def\sqiint{\square\kern-20mu\iint\kern3mu}                     esint
 880 \def\sqiintop{\square\kern-20mu\iint\kern3mu}                   esint
 881 \def\ointctrclockwise{\circlearrowleft\kern-21mu\int\kern6mu}   esint
 882 \def\ointctrclockwiseop{\circlearrowleft\kern-21mu\int\kern6mu} esint
 883 \def\ointclockwise{\circlearrowright\kern-21mu\int\kern6mu}     esint
 884 \def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu}   esint
 885 endif
 886
 887 varointclockwise   esint        027    0  mathop  &cwconint;      esint
 888 varointclockwiseop esint        027    0  mathop  &cwconint;      esint
 889 varointctrclockwise esint       029    0  mathop  &awconint;      esint
 890 varointctrclockwiseop esint     029    0  mathop  &awconint;      esint
 891 fint               esint        031    0  mathop  &#x2a0f;      esint
 892 fintop             esint        031    0  mathop  &#x2a0f;      esint
 893 varoiint           esint        033    0  mathop  &Conint;      esint
 894 varoiintop         esint        033    0  mathop  &Conint;      esint
 895 landupint          esint        035    0  mathop  x      esint
 896 landupintop        esint        035    0  mathop  x      esint
 897 landdownint        esint        037    0  mathop  x      esint
 898 landdownintop      esint        037    0  mathop  x      esint
 899
 900
 901 # From the amsmath package:
 902 \def\idotsint{\int\kern-3mu\cdots\kern-3mu\int}               amsmath
 903
 904
 905 log                lyxblacktext  0   0 func     x
 906 lg                 lyxblacktext  0   0 func     x
 907 ln                 lyxblacktext  0   0 func     x
 908 lim                lyxblacktext  0   0 funclim  x
 909 limsup             lyxblacktext  0   0 funclim  x
 910 liminf             lyxblacktext  0   0 funclim  x
 911 sin                lyxblacktext  0   0 func     x
 912 arcsin             lyxblacktext  0   0 func     x
 913 sinh               lyxblacktext  0   0 func     x
 914 cos                lyxblacktext  0   0 func     x
 915 arccos             lyxblacktext  0   0 func     x
 916 cosh               lyxblacktext  0   0 func     x
 917 tan                lyxblacktext  0   0 func     x
 918 arctan             lyxblacktext  0   0 func     x
 919 tanh               lyxblacktext  0   0 func     x
 920 cot                lyxblacktext  0   0 func     x
 921 coth               lyxblacktext  0   0 func     x
 922 sec                lyxblacktext  0   0 func     x
 923 csc                lyxblacktext  0   0 func     x
 924 max                lyxblacktext  0   0 funclim  x
 925 min                lyxblacktext  0   0 funclim  x
 926 sup                lyxblacktext  0   0 funclim  x
 927 inf                lyxblacktext  0   0 funclim  x
 928 arg                lyxblacktext  0   0 func     x
 929 ker                lyxblacktext  0   0 func     x
 930 dim                lyxblacktext  0   0 func     x
 931 hom                lyxblacktext  0   0 func     x
 932 det                lyxblacktext  0   0 funclim  x
 933 exp                lyxblacktext  0   0 func     x
 934 Pr                 lyxblacktext  0   0 funclim  x
 935 gcd                lyxblacktext  0   0 funclim  x
 936 deg                lyxblacktext  0   0 func     x
 937 mod                lyxblacktext  0   0 func     x     amsmath
 938 bmod               lyxblacktext  0   0 func     x
 939 pmod               lyxblacktext  0   0 func     x
 940 pod                lyxblacktext  0   0 func     x     amsmath
 941
 942
 943 # mathtools.sty
 944 \def\vcentcolon{\kern4mu:\kern3mu}             mathtools
 945 \def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools
 946 \def\coloneqq{\vcentcolon\kern-7mu=}           mathtools
 947 \def\Coloneqq{\dblcolon\kern-7mu=}             mathtools
 948 \def\coloneq{\vcentcolon\kern-7mu-}            mathtools
 949 \def\Coloneq{\dblcolon\kern-7mu-}              mathtools
 950 \def\eqqcolon{=\kern-8mu\vcentcolon}           mathtools
 951 \def\Eqqcolon{=\kern-8mu\dblcolon}             mathtools
 952 \def\eqcolon{-\kern-8mu\vcentcolon}            mathtools
 953 \def\Eqcolon{-\kern-8mu\dblcolon}              mathtools
 954 \def\colonapprox{\vcentcolon\kern-7mu\approx}  mathtools
 955 \def\Colonapprox{\dblcolon\kern-7mu\approx}    mathtools
 956 \def\colonsim{\vcentcolon\kern-7mu\sim}        mathtools
 957 \def\Colonsim{\dblcolon\kern-7mu\sim}          mathtools
 958
 959
 960 #
 961 # pre-defined macros
 962 #
 963
 964 \def\neq{\not=}
 965 \def\ne{\not=}
 966 \def\notin{\not\in}
 967 \def\slash{/}
 968
 969 \def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
 970 \def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
 971 \def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
 972 \def\doteq{\stackrel{\cdot}{=}}
 973
 974 iffont cmsy
 975 \def\longrightarrow{\lyxbar\kern-11mu\rightarrow}
 976 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
 977 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
 978 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
 979 \def\implies{\Longrightarrow}                                     amsmath
 980 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
 981 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 982 \def\models{\vert\kern-7mu\lyxeq}
 983 endif
 984 iffont cmm
 985 \def\hookrightarrow{\lhook\kern-12mu\rightarrow}
 986 \def\hookleftarrow{\leftarrow\kern-12mu\rhook}
 987 \def\bowtie{\triangleright\kern-6mu\triangleleft}
 988 endif
 989 iffont msa
 990 \def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
 991 \def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
 992 \def\dasharrow{\dashrightarrow}
 993 endif
 994 iffont msb
 995 \def\Join{\ltimes\kern-18.5mu\rtimes}
 996 endif
 997 # Fixme: latin-1 chars in text file
 998 \def\AA{\AA}{Å}
 999 \def\O{\O}{Ø}
1000
1001 iffont cmsy
1002 # The \sim is placed too high...
1003 \def\cong{\stackrel{_\sim}{=}}
1004 lyxsurd               cmsy        112 0 mathord  &radic;
1005 \def\surd{^\lyxsurd}
1006 \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
1007 else
1008 cong               lyxsymbol             64  0 mathrel  &cong;
1009 surd               lyxsymbol             214 0 mathord  &radic;
1010 textdegree         lyxsymbol             176 0 mathord  &deg;
1011 endif
1012
1013 #"{\hat{}}
1014
1015