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