]> git.lyx.org Git - lyx.git/blobdiff - lib/symbols
lyx2lyx/lyx_2_2.py: correct a value
[lyx.git] / lib / symbols
index ad5424a40edcb925939f963b2cf1e5ba0ee2b641..89fc41ae52841d13d79f301dc7bc4b2c4504990c 100644 (file)
@@ -4,12 +4,20 @@
 #
 # The syntax of lib/symbols is very ad hoc.
 # There are several possible formats of a line, which are quite different.
+#
+# Note for \def: The definition is not used in LaTeX output, but for screen
+# display. Therefore you may use a definition that is only approximately
+# correct if no accurate representation is possible (e.g. \HF vs. \approx).
+# Note that the first argument of \def must not uses braces, and the second
+# must use braces.
+#
 # If you put any symbol with a requirement inside an iffont clause, you
 # must put an alternative definition with the same requirement in the
 # corresponding else clause. Otherwise the LaTeX output would depend on the
 # availability of the font. This usually no problem in GUI mode, since all
 # fonts are shipped with LyX, but in command line mode no font is available
 # at all.
+#
 # New symbols for font packages may be created using
 # development/tools/generate_symbols_list.py (but may require manual fixes
 # as well).
@@ -41,7 +49,7 @@ underrightarrow     decoration none       amsmath
 #Do not load automatically, it redefines some other symbols, and we don't
 #have a possibility to turn automatic loading off like for ams
 #undertilde          decoration none       accents
-undertilde          decoration none
+undertilde          decoration none       hiddensymbol
 utilde              decoration none       undertilde
 vec                 decoration none
 widehat             decoration none
@@ -52,7 +60,7 @@ dots              dots        none
 #Do not load automatically, it redefines some other symbols, and we don't
 #have a possibility to turn automatic loading off like for ams
 #adots             dots        none        yhmath
-adots             dots        none
+adots             dots        none        hiddensymbol
 cdots             dots        none
 ddots             dots        none
 dotsb             dots        none        amsmath
@@ -85,12 +93,12 @@ Biggr             big         none
 # packages. No 'm' versions!
 # See lucidabr.dtx for a possible implementation if you want to use these
 # with other fonts.
-biggg             big         none
-bigggl            big         none
-bigggr            big         none
-Biggg             big         none
-Bigggl            big         none
-Bigggr            big         none
+biggg             big         none        hiddensymbol
+bigggl            big         none        hiddensymbol
+bigggr            big         none        hiddensymbol
+Biggg             big         none        hiddensymbol
+Bigggl            big         none        hiddensymbol
+Bigggr            big         none        hiddensymbol
 
 # font changes
 # name           "font"       math/text family  series  shape  color
@@ -253,7 +261,7 @@ Sigma              cmr         167  83 mathalpha  Σ
 Upsilon            cmr         168 161 mathalpha  ϒ
 Phi                cmr         169  70 mathalpha  Φ
 Psi                cmr         170  89 mathalpha  Ψ
-Omega              cmr         173  87 mathalpha  Ω
+Omega              cmr         172  87 mathalpha  Ω
 aleph              cmsy         64 192 mathord  ℵ
 imath              cmm         123   0 mathord  ı
 jmath              cmm         124   0 mathord  ȷ
@@ -281,7 +289,7 @@ diamondsuit        cmsy        125 168 mathord  ♢
 heartsuit          cmsy        126 169 mathord  ♡
 spadesuit          cmsy        127 170 mathord  ♠
 # We define lyxnot as mathrel in order to have proper alignment
-lyxnot             cmsy         54  47 mathrel  ∖
+lyxnot             cmsy         54  47 mathrel  /
 iffont cmsy
 # 9mu = 0.5em which is the extra space added to relation operators
 \def\not{\lyxnot\kern-9mu}
@@ -323,7 +331,7 @@ wr                 cmsy        111   0 mathbin  ≀
 div                cmsy        165 184 mathbin  ÷
 odot               cmsy        175   0 mathbin  ⊙
 oslash             cmsy        174 198 mathbin  ø
-otimes             cmsy        173 196 mathbin  ⊗
+otimes             cmsy        172 196 mathbin  ⊗
 ominus             cmsy        170   0 mathbin  ⊖
 oplus              cmsy        169 197 mathbin  ⊕
 mp                 cmsy        168   0 mathbin  ∓
@@ -340,6 +348,8 @@ sqsubseteq         cmsy        118   0 mathrel  ⊑
 sqsupseteq         cmsy        119   0 mathrel  ⊒
 parallel           cmsy        107   0 mathrel  ∥
 mid                cmsy        106 124 mathrel  ∣
+lvert              cmsy        106 124 mathrel  &lvert;  amsmath
+rvert              cmsy        106 124 mathrel  &rvert;  amsmath
 dashv              cmsy         97   0 mathrel  ⊣
 vdash              cmsy         96   0 mathrel  ⊢
 nearrow            cmsy         37   0 mathrel  ↗
@@ -365,8 +375,8 @@ subseteq           cmsy        181 205 mathrel  ⊆
 in                 cmsy         50 206 mathrel  ∈
 ni                 cmsy         51  39 mathrel  ∋
 owns               cmsy         51  39 mathrel  ∋
-gg                 cmsy        192   0 mathrel  >
-ll                 cmsy        191   0 mathrel  <
+gg                 cmsy        192   0 mathrel  ≫
+ll                 cmsy        191   0 mathrel  ≪
 leftrightarrow     cmsy         36 171 mathrel  ↔
 leftarrow          cmsy        195 172 mathrel  ←
 gets               cmsy        195 172 mathrel  ←
@@ -392,6 +402,8 @@ colon              cmr          58  58 mathpunct  :
 arrowvert          cmsy        106   0 mathord  |
 Arrowvert          cmsy        107   0 mathord  ∥
 Vert               cmsy        107   0 mathord  ∥
+lVert              cmsy        107   0 mathord  ∥  amsmath
+rVert              cmsy        107   0 mathord  ∥  amsmath
 |                  cmsy        107   0 mathord  |
 vert               cmsy        106   0 mathord  |
 uparrow            cmsy         34 173 mathrel ↑
@@ -423,7 +435,7 @@ ulcorner           msa         112   0 mathopen  ⌜
 urcorner           msa         113   0 mathclose  ⌝
 llcorner           msa         120   0 mathopen  ⌞
 lrcorner           msa         121   0 mathclose  ⌟
-rightleftharpoons  msa         173   0 mathrel  ⇋
+rightleftharpoons  msa         172   0 mathrel  ⇋
 angle              msa          92 208 mathord  ∠
 sqsubset           msa          64   0 mathrel  ⊏
 sqsupset           msa          65   0 mathrel  ⊐
@@ -431,7 +443,7 @@ mho                msb         102   0 mathord  ℧
 square             msa         164   0 mathord  □
 Box                msa         164   0 mathord  □
 lozenge            msa         167   0 mathord  ◊
-Diamond            msa         167   0 mathord  xdiam;
+Diamond            msa         167   0 mathord  ⋄
 vartriangleright   msa          66   0 mathrel  ▹
 vartriangleleft    msa          67   0 mathrel  ◃
 trianglerighteq    msa          68   0 mathrel  ⊵
@@ -566,7 +578,7 @@ nprec              msb         167   0 mathrel  ⊀
 nsucc              msb         168   0 mathrel  ⊁
 lneqq              msb         169   0 mathrel  ≨
 gneqq              msb         170   0 mathrel  ≩
-nleqslant          msb         173   0 mathrel  ⩽̸
+nleqslant          msb         172   0 mathrel  ⩽̸
 ngeqslant          msb         174   0 mathrel  ⩾̸
 lneq               msb         175   0 mathrel  ≰
 gneq               msb         176   0 mathrel  ⪈
@@ -662,18 +674,18 @@ currency           wasy          27  0 textmode ¤ wasysym # works in text
 phone              wasy          7   0 textmode ☎  wasysym # works in text mode only (produces \Upsilon in math mode)
 recorder           wasy          6   0 textmode ⌕ wasysym # works in text mode only (produces \Sigma in math mode)
 clock              wasy          28  0 textmode &clock;  wasysym # works in text mode only (produces \o in math mode)
-lightning          wasy          18  0 x        ☇
-# FIXME Display is wrong: qt does not display characters at the \t position (0x09)
+lightning          wasy          18  0 textmode ☇ wasysym # works in text mode only (produces ` in math mode)
+# FIXME Display is wrong (bug 8493): qt does not display characters at the \t position (0x09)
 pointer            wasy          9   0 textmode x        wasysym # works in text mode only (produces \Psi in math mode)
 RIGHTarrow         wasy          17  0 textmode ▶ wasysym # works in text mode only (produces \jmath in math mode)
 LEFTarrow          wasy          16  0 textmode ◀ wasysym # works in text mode only (produces \imath in math mode)
 UParrow            wasy          75  0 textmode ▲ wasysym # works in text mode only (produces K in math mode)
 DOWNarrow          wasy          76  0 textmode ▼ wasysym # works in text mode only (produces L in math mode)
 AC                 wasy          58  0 textmode x        wasysym # works in text mode only
-# \def\HF{\leavevmode \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}\raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}} wasysym
+\def\HF{\approx}                                         wasysym
 VHF                wasy          64  0 x        x
 Square             wasy          50  0 x        □
-#CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
+\def\CheckedBox{\Square\kern-0.8em\checked}              wasysym
 XBox               wasy          52  0 x        ⊠
 hexagon            wasy          55  0 x        ⬡
 pentagon           wasy          68  0 x        ⬠
@@ -708,8 +720,8 @@ Leftcircle         wasy          73  0 x        x
 LEFTCIRCLE         wasy          71  0 x        ◖
 Rightcircle        wasy          74  0 x        x
 RIGHTCIRCLE        wasy          72  0 x        ◗
-#LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
-#RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
+\def\LEFTcircle{\LEFTCIRCLE\kern-1em\Circle}             wasysym
+\def\RIGHTcircle{\RIGHTCIRCLE\kern-1em\Circle}           wasysym
 
 # Defined by amsmath.sty
 
@@ -723,7 +735,7 @@ varSigma           cmm         167  0  mathord  x  amsmath
 varUpsilon         cmm         168  0  mathord  x  amsmath
 varPhi             cmm         169  0  mathord  x  amsmath
 varPsi             cmm         170  0  mathord  x  amsmath
-varOmega           cmm         173  0  mathord  x  amsmath
+varOmega           cmm         172  0  mathord  x  amsmath
 
 #
 # wasy astronomy
@@ -736,7 +748,7 @@ fullmoon           wasy          35  0 x        ˆ
 newmoon            wasy          32  0 x        ●
 leftmoon           wasy          36  0 x        ☾
 rightmoon          wasy          37  0 x        ☽
-astrosun           cmsy         175  0 mathbin  ☉  wasysym
+astrosun           cmsy         175  0 mathbin  ☉ wasysym
 mercury            wasy          39  0 x        ☿
 venus              wasy          25  0 x        ♀
 earth              wasy          38  0 x        ♁
@@ -772,7 +784,7 @@ APLup              wasy          0   0 x        x
 APLdown            wasy          70  0 x        x
 APLinput           wasy          125 0 x        x
 APLcomment         wasy          127 0 x        x
-#APLinv     {{\hbox to 0pt{$\div$\hss}\APLbox}}
+\def\APLinv{\div\kern-17mu\APLbox}                       wasysym
 APLuparrowbox      wasy         110  0 x        ⍐
 APLdownarrowbox    wasy         111  0 x        ⍗
 APLleftarrowbox    wasy         112  0 x        ⍇
@@ -783,9 +795,11 @@ Bowtie             wasy          49  0 x        ⋈
 leftturn           wasy          34  0 x        ⟲
 rightturn          wasy          33  0 x        ⟳
 # diagrams
-#photon             wasy          58\char58\char58\char58}}
-#gluon              wasy          81\char80\char80\char80%
-#char80\char80\char80\char82}}
+\def\photon{\AC\kern-3mu\AC\kern-3mu\AC\kern-3mu\AC}     wasysym
+lyxgluonelement    wasy          80  0 x        x        notexisting
+lyxgluonbelement   wasy          81  0 x        x        notexisting
+lyxgluoneelement   wasy          82  0 x        x        notexisting
+\def\gluon{\lyxgluonbelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluoneelement} wasysym
 # special characters
 cent               wasy         103   0 x        &#00A2;
 permil             wasy         104   0 x        ‰
@@ -795,18 +809,18 @@ Thorn              wasy         106   0 textmode Þ wasysym # works in tex
 openo              wasy         108   0 textmode ɔ wasysym # works in text mode only (produces l in math mode)
 inve               wasy          85   0 textmode ə wasysym # works in text mode only (produces U in math mode)
 
-#mho               wasy          48    0  mathord ℧ # already in amsfonts
-#Join              wasy          49    0  mathrel x
-#Box               wasy          50    0  mathord x
-#Diamond           wasy          51    0  mathord x
+#mho               wasy          48    0  mathord ℧    wasysym # already in amsfonts
+#Join              wasy          49    0  mathrel x        wasysym # already in amsfonts
+#Box               wasy          50    0  mathord □ wasysym # already in amsfonts
+#Diamond           wasy          51    0  mathord ⋄   wasysym # already in amsfonts
 leadsto            wasy          59    0  mathrel ⤳
-#sqsubset          wasy          60    0  mathrel ⊏ # already in amsfonts
-#sqsupset          wasy          61    0  mathrel ⊐ # already in amsfonts
-#lhd               wasy           1    0  mathbin x
-#unlhd             wasy           2    0  mathbin x
+#sqsubset          wasy          60    0  mathrel ⊏  wasysym # already in amsfonts
+#sqsupset          wasy          61    0  mathrel ⊐  wasysym # already in amsfonts
+#lhd               wasy           1    0  mathbin ◃   wasysym # already in amsfonts
+#unlhd             wasy           2    0  mathbin ⊴  wasysym # already in amsfonts
 LHD                wasy          16    0  mathbin ⱐ
-#rhd               wasy           3    0  mathbin x
-#unrhd             wasy           4    0  mathbin x
+#rhd               wasy           3    0  mathbin ▹   wasysym # already in amsfonts
+#unrhd             wasy           4    0  mathbin ⊵  wasysym # already in amsfonts
 RHD                wasy          17    0  mathbin ▶
 apprle             wasy          62    0  mathrel ≲
 apprge             wasy          63    0  mathrel ≳
@@ -854,7 +868,7 @@ boxbslash          stmry  28   0 mathbin    x  stmaryrd
 boxcircle          stmry  29   0 mathbin    x  stmaryrd
 boxbox             stmry  30   0 mathbin    x  stmaryrd
 boxempty           stmry  31   0 mathbin    x  stmaryrd
-#lightning          stmry  32   0 mathord   x  stmaryrd # already in wasy
+#lightning          stmry  32   0 mathord    x  stmaryrd # already in wasy
 merge              stmry  33   0 mathbin    x  stmaryrd
 vartimes           stmry  34   0 mathbin    x  stmaryrd
 fatsemi            stmry  35   0 mathbin    x  stmaryrd
@@ -896,8 +910,8 @@ subsetpluseq       stmry  70   0 mathrel    x  stmaryrd
 supsetpluseq       stmry  71   0 mathrel    x  stmaryrd
 Lbag               stmry  72   0 mathopen   x  stmaryrd
 Rbag               stmry  73   0 mathclose  x  stmaryrd
-llbracket          stmry  74   0 mathopen  x  stmaryrd
-rrbracket          stmry  75   0 mathclose x  stmaryrd
+llbracket          stmry  74   0 mathopen   x  stmaryrd
+rrbracket          stmry  75   0 mathclose  x  stmaryrd
 llparenthesis      stmry  76   0 mathopen   x  stmaryrd
 rrparenthesis      stmry  77   0 mathclose  x  stmaryrd
 binampersand       stmry  78   0 mathopen   x  stmaryrd
@@ -918,38 +932,38 @@ Mapsfromchar       stmry  92   0 mathrel    x  stmaryrd
 leftrightarrowtriangle stmry 93 0 mathrel   x  stmaryrd
 leftarrowtriangle  stmry  94   0 mathrel    x  stmaryrd
 rightarrowtriangle stmry  95   0 mathrel    x  stmaryrd
-#bigtriangledown    stmry  96   0 mathop    x  stmaryrd #already in cmsy
-#bigtriangleup      stmry  97   0 mathop    x  stmaryrd #already in cmsy
-bigcurlyvee        stmry  98   0 mathop    x  stmaryrd
-bigcurlywedge      stmry  99   0 mathop    x  stmaryrd
-bigsqcap           stmry 100   0 mathop    x  stmaryrd
-bigbox             stmry 101   0 mathop    x  stmaryrd
-bigparallel        stmry 102   0 mathop    x  stmaryrd
-biginterleave      stmry 103   0 mathop    x  stmaryrd
-#hugetriangledown   stmry 104   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugetriangleup     stmry 105   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugecurlyvee       stmry 106   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugecurlywedge     stmry 107   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugesqcap          stmry 108   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugebox            stmry 109   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugeparallel       stmry 110   0 mathop    x  stmaryrd # only in the font, not the .sty
-#hugeinterleave     stmry 111   0 mathop    x  stmaryrd # only in the font, not the .sty
-bignplus           stmry 112   0 mathop    x  stmaryrd # caution: named hugenplus in the font
-#largellbracket     stmry 113   0 mathopen  x  stmaryrd # only in the font, not the .sty
-#Largellbracket     stmry 114   0 mathopen  x  stmaryrd # only in the font, not the .sty
-#LARGEllbracket     stmry 115   0 mathopen  x  stmaryrd # only in the font, not the .sty
-#hugellbracket      stmry 116   0 mathopen  x  stmaryrd # only in the font, not the .sty
-#Largellbrackettop  stmry 117   0 mathopen  x  stmaryrd # only in the font, not the .sty
-#Largellbracketbot  stmry 118   0 mathopen  x  stmaryrd # only in the font, not the .sty caution: named Hugellbrackettop in the font
-#llbracketex        stmry 119   0 mathopen  x  stmaryrd # only in the font, not the .sty caution: named Hugellbracketbot in the font
-#hugenplus          stmry 120   0 mathop    x  stmaryrd # only in the font, not the .sty caution: named Hugenplus in the font
-#largerrbracket     stmry 121   0 mathclose x  stmaryrd # only in the font, not the .sty
-#Largerrbracket     stmry 122   0 mathclose x  stmaryrd # only in the font, not the .sty
-#LARGErrbracket     stmry 123   0 mathclose x  stmaryrd # only in the font, not the .sty
-#hugerrbracket      stmry 124   0 mathclose x  stmaryrd # only in the font, not the .sty
-#Largerrbrackettop  stmry 125   0 mathclose x  stmaryrd # only in the font, not the .sty caution: named Hugerrbrackettop in the font
-#Largerrbracketbot  stmry 126   0 mathclose x  stmaryrd # only in the font, not the .sty caution: named Hugerrbracketbot in the font
-#rrbracketex        stmry 127   0 mathclose x  stmaryrd # only in the font, not the .sty caution: named Hugerrbracketex in the font
+#bigtriangledown    stmry  96   0 mathop     x  stmaryrd #already in cmsy
+#bigtriangleup      stmry  97   0 mathop     x  stmaryrd #already in cmsy
+bigcurlyvee        stmry  98   0 mathop     x  stmaryrd
+bigcurlywedge      stmry  99   0 mathop     x  stmaryrd
+bigsqcap           stmry 100   0 mathop     x  stmaryrd
+bigbox             stmry 101   0 mathop     x  stmaryrd
+bigparallel        stmry 102   0 mathop     x  stmaryrd
+biginterleave      stmry 103   0 mathop     x  stmaryrd
+#hugetriangledown   stmry 104   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugetriangleup     stmry 105   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugecurlyvee       stmry 106   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugecurlywedge     stmry 107   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugesqcap          stmry 108   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugebox            stmry 109   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugeparallel       stmry 110   0 mathop     x  stmaryrd # only in the font, not the .sty
+#hugeinterleave     stmry 111   0 mathop     x  stmaryrd # only in the font, not the .sty
+bignplus           stmry 112   0 mathop     x  stmaryrd # caution: named hugenplus in the font
+#largellbracket     stmry 113   0 mathopen   x  stmaryrd # only in the font, not the .sty
+#Largellbracket     stmry 114   0 mathopen   x  stmaryrd # only in the font, not the .sty
+#LARGEllbracket     stmry 115   0 mathopen   x  stmaryrd # only in the font, not the .sty
+#hugellbracket      stmry 116   0 mathopen   x  stmaryrd # only in the font, not the .sty
+#Largellbrackettop  stmry 117   0 mathopen   x  stmaryrd # only in the font, not the .sty
+#Largellbracketbot  stmry 118   0 mathopen   x  stmaryrd # only in the font, not the .sty caution: named Hugellbrackettop in the font
+#llbracketex        stmry 119   0 mathopen   x  stmaryrd # only in the font, not the .sty caution: named Hugellbracketbot in the font
+#hugenplus          stmry 120   0 mathop     x  stmaryrd # only in the font, not the .sty caution: named Hugenplus in the font
+#largerrbracket     stmry 121   0 mathclose  x  stmaryrd # only in the font, not the .sty
+#Largerrbracket     stmry 122   0 mathclose  x  stmaryrd # only in the font, not the .sty
+#LARGErrbracket     stmry 123   0 mathclose  x  stmaryrd # only in the font, not the .sty
+#hugerrbracket      stmry 124   0 mathclose  x  stmaryrd # only in the font, not the .sty
+#Largerrbrackettop  stmry 125   0 mathclose  x  stmaryrd # only in the font, not the .sty caution: named Hugerrbrackettop in the font
+#Largerrbracketbot  stmry 126   0 mathclose  x  stmaryrd # only in the font, not the .sty caution: named Hugerrbracketbot in the font
+#rrbracketex        stmry 127   0 mathclose  x  stmaryrd # only in the font, not the .sty caution: named Hugerrbracketex in the font
 
 \def\varcopyright{c\kern-14mu\varbigcirc}                   stmaryrd
 \def\longarrownot{\kern5.5mu\arrownot\kern-5.5mu}           stmaryrd
@@ -981,39 +995,39 @@ tbond              cmsy        180 186 mathord  x
 # If the wasysym integrals are really wanted then one has to load the package
 # manually and disable automatic loading of amsmath and esint.
 iffont esint
-int                esint        001    0  mathop  ∫  esint
-intop              esint        001    0  mathop  ∫  esint
+int                esint        001    0  mathop  ∫         esint|amsmath
+intop              esint        001    0  mathop  ∫         esint
 iint               esint        003    0  mathop  ∬         esint|amsmath
-iintop             esint        003    0  mathop  ∬      esint
+iintop             esint        003    0  mathop  ∬         esint
 iiint              esint        005    0  mathop  ∭        esint|amsmath
 
-iiintop            esint        005    0  mathop  ∭      esint
+iiintop            esint        005    0  mathop  ∭        esint
 iiiint             esint        007    0  mathop  ⨌        esint|amsmath
 
-iiiintop           esint        007    0  mathop  ⨌      esint
+iiiintop           esint        007    0  mathop  ⨌        esint
 oint               esint        011    0  mathop  ∮      esint
 
 ointop             esint        011    0  mathop  ∮      esint
 oiint              esint        013    0  mathop  ∯      esint
 oiintop            esint        013    0  mathop  ∯      esint
-sqint              esint        015    0  mathop  x      esint
-sqintop            esint        015    0  mathop  x      esint
-sqiint             esint        017    0  mathop  x      esint
-sqiintop           esint        017    0  mathop  x      esint
-dotsint            esint        019    0  mathop  ∫⋯∫      esint
-dotsintop          esint        019    0  mathop  ∫⋯∫      esint
-ointctrclockwise   esint        023    0  mathop  ∳      esint
-ointctrclockwiseop esint        023    0  mathop  ∳      esint
-ointclockwise      esint        025    0  mathop  ∲      esint
-ointclockwiseop    esint        025    0  mathop  ∲      esint
+sqint              esint        015    0  mathop  x             esint
+sqintop            esint        015    0  mathop  x             esint
+sqiint             esint        017    0  mathop  x             esint
+sqiintop           esint        017    0  mathop  x             esint
+dotsint            esint        019    0  mathop  ∫⋯∫ esint
+dotsintop          esint        019    0  mathop  ∫⋯∫ esint
+ointctrclockwise   esint        023    0  mathop  ∳    esint
+ointctrclockwiseop esint        023    0  mathop  ∳    esint
+ointclockwise      esint        025    0  mathop  ∲    esint
+ointclockwiseop    esint        025    0  mathop  ∲    esint
 else
-int                cmex          82  242  mathop  ∫  esint
-intop              cmex          82  242  mathop  ∫  esint
+int                cmex          82  242  mathop  ∫         esint|amsmath
+intop              cmex          82  242  mathop  ∫         esint
 iint               wasy         115    0  mathop  ∬         esint|amsmath
-iintop             wasy         115    0  mathop  &Int      esint
+iintop             wasy         115    0  mathop  &Int          esint
 iiint              wasy         116    0  mathop  ∭        esint|amsmath
 
-iiintop            wasy         116    0  mathop  ∭      esint
+iiintop            wasy         116    0  mathop  ∭        esint
 \def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esint|amsmath
 \def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}      esint
 \def\dotsint{\int\kern-3mu\cdots\kern-3mu\int}                  esint
@@ -1033,22 +1047,22 @@ oiintop            wasy         118    0  mathop  ∯      esint
 \def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu}   esint
 endif
 
-varointclockwise   esint        027    0  mathop  ∲      esint
-varointclockwiseop esint        027    0  mathop  ∲      esint
-varointctrclockwise esint       029    0  mathop  ∳      esint
-varointctrclockwiseop esint     029    0  mathop  ∳      esint
+varointclockwise   esint        027    0  mathop  ∲    esint
+varointclockwiseop esint        027    0  mathop  ∲    esint
+varointctrclockwise esint       029    0  mathop  ∳    esint
+varointctrclockwiseop esint     029    0  mathop  ∳    esint
 fint               esint        031    0  mathop  ⨏      esint
 fintop             esint        031    0  mathop  ⨏      esint
 varoiint           esint        033    0  mathop  ∯      esint
 varoiintop         esint        033    0  mathop  ∯      esint
-landupint          esint        035    0  mathop  x      esint
-landupintop        esint        035    0  mathop  x      esint
-landdownint        esint        037    0  mathop  x      esint
-landdownintop      esint        037    0  mathop  x      esint
+landupint          esint        035    0  mathop  x             esint
+landupintop        esint        035    0  mathop  x             esint
+landdownint        esint        037    0  mathop  x             esint
+landdownintop      esint        037    0  mathop  x             esint
 
 
 # From the amsmath package:
-\def\idotsint{\int\kern-3mu\cdots\kern-3mu\int}               amsmath
+\def\idotsint{\int\kern-3mu\cdots\kern-3mu\int}                 amsmath
 
 
 log                lyxblacktext  0   0 func     x
@@ -1110,8 +1124,8 @@ pod                lyxblacktext  0   0 func     x     amsmath
 # pre-defined macros
 #
 
-\def\neq{\not=}
-\def\ne{\not=}
+\def\neq{\not=}                                                 mathrel ≠
+\def\ne{\not=}                                                  mathrel ≠
 \def\notin{\not\in}
 \def\slash{/}
 
@@ -1125,12 +1139,14 @@ iffont cmsy
 \def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
 \def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
 \def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
-\def\implies{\Longrightarrow}                                     amsmath
+\def\implies{\Longrightarrow}                                   amsmath
+\def\impliedby{\Longleftarrow}                                  amsmath
 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
 \def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 \def\models{\vert\kern-7mu\lyxeq}
 else
-\def\implies{=>}                                                  amsmath
+\def\implies{=>}                                                amsmath
+\def\impliedby{<=}                                              amsmath
 endif
 iffont cmm
 \def\hookrightarrow{\lhook\kern-12mu\rightarrow}
@@ -1138,12 +1154,17 @@ iffont cmm
 \def\bowtie{\triangleright\kern-6mu\triangleleft}
 endif
 iffont msa
-\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
-\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
-\def\dasharrow{\dashrightarrow}
+\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}                amssymb
+\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}                  amssymb
+else
+\def\dashrightarrow{- - \rightarrow}                            amssymb
+\def\dashleftarrow{\leftarrow{} - -}                            amssymb
 endif
+\def\dasharrow{\dashrightarrow}                                 amssymb
 iffont msb
-\def\Join{\ltimes\kern-18.5mu\rtimes}
+\def\Join{\ltimes\kern-18.5mu\rtimes}                           amssymb
+else
+\def\Join{|x|}                                                  amssymb
 endif
 # Fixme: latin-1 chars in text file
 \def\AA{\AA}{Å}
@@ -1156,6 +1177,8 @@ lyxsurd               cmsy        112 0 mathord  &radic;
 \def\surd{^\lyxsurd}
 \def\textdegree{\kern-1mu^{\circ}\kern-4mu}
 else
+# FIXME: These don't work on OS X, since the Symbol font uses a different
+#        encoding and is therefore disabled in FontLoader::available().
 cong               lyxsymbol             64  0 mathrel  &cong;
 surd               lyxsymbol             214 0 mathord  &radic;
 textdegree         lyxsymbol             176 0 mathord  &deg;