lib/symbols

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