]> git.lyx.org Git - lyx.git/blobdiff - lib/symbols
French translation of Customization manual : final update
[lyx.git] / lib / symbols
index cee45b93144a3c17fb7d9ed34a672982ade200e0..8927d5211c1231b744183e1477f8f90b3666b668 100644 (file)
@@ -1,6 +1,38 @@
 #
 # things supported by real insets in mathed
 #
+#
+# 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.
+#
+# syntax: Either
+# \def\macroname{definition}
+# or
+# \def\macroname{definition} requires
+# or
+# \def\macroname{definition} extra xmlname
+# or
+# \def\macroname{definition} extra xmlname requires
+#
+# ("" for empty strings is not supported. One would have to use x for fields
+# that are not set.)
+#
+# 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).
 
 # decorations
 acute               decoration none
@@ -26,6 +58,11 @@ underleftarrow      decoration none       amsmath
 underleftrightarrow decoration none       amsmath
 underline           decoration none
 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       hiddensymbol
+utilde              decoration none       undertilde
 vec                 decoration none
 widehat             decoration none
 widetilde           decoration none
@@ -35,7 +72,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
@@ -43,10 +80,7 @@ dotsc             dots        none        amsmath
 dotsi             dots        none        amsmath
 dotsm             dots        none        amsmath
 dotso             dots        none        amsmath
-#Do not load automatically, since we don't have a possibility to turn
-#automatic loading off like for ams
-#iddots            dots        none        mathdots
-iddots            dots        none
+iddots            dots        none        mathdots
 ldots             dots        none
 vdots             dots        none
 
@@ -71,12 +105,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
@@ -84,6 +118,7 @@ Bigggr            big         none
 mathnormal        font        mathmode  inherit  medium   up  math
 frak              font        mathmode
 mathbb            font        mathmode
+mathds            font        mathmode
 mathbf            font        mathmode
 mathcal           font        mathmode
 mathfrak          font        mathmode
@@ -111,11 +146,11 @@ ce                font        forcetext
 cf                font        forcetext
 
 # old-style font commands
-bf                oldfont     none
-cal               oldfont     none
-it                oldfont     none
-rm                oldfont     none
-tt                oldfont     none
+bf                oldfont     none    hiddensymbol
+cal               oldfont     none    hiddensymbol
+it                oldfont     none    hiddensymbol
+rm                oldfont     none    hiddensymbol
+tt                oldfont     none    hiddensymbol
 
 # matrix environments
 Bmatrix           matrix      none
@@ -139,6 +174,7 @@ rgathered         split       none
 # references
 pageref           ref         none
 prettyref         ref         none
+refstyle          ref         none
 ref               ref         none
 vpageref          ref         none
 vref              ref         none
@@ -157,15 +193,28 @@ medspace          space       none
 ;                 space       none
 thickspace        space       none
 enskip            space       none
+enspace           space       none
 quad              space       none
 qquad             space       none
+hfill             space       none
+hspace*           space       none
 hspace            space       none
 
 # styles
-displaystyle      style       0
-textstyle         style       1
-scriptstyle       style       2
-scriptscriptstyle style       3
+displaystyle      style       3
+textstyle         style       2
+scriptstyle       style       1
+scriptscriptstyle style       0
+
+# math classes
+mathord           class    none
+mathop            class    none
+mathbin           class    none
+mathrel           class    none
+mathopen          class    none
+mathclose         class    none
+mathpunct         class    none
+mathinner         class    none
 
 # misc
 # The commented lines in this block get misparsed as MathSymbolInset because
@@ -185,6 +234,12 @@ tag*              mbox        forcetext
 #end               end         none
 
 
+# In order to use one of the decorations of MathSupport.cpp, the line must
+# be handled by a math inset which calls mathed_draw_deco(). 
+# If new symbol do not fit into any of the existing insets, it would be ignored
+# and new inset must be programmed.
+# Better solutions is to use the font to draw the symbols as below.
+
 #
 # symbols generated from fontmath.ltx
 #
@@ -219,6 +274,7 @@ varpi              cmm          36 118 mathord  ϖ
 varrho             cmm          37   0 mathord  ϱ
 varsigma           cmm          38  86 mathord  ς
 varphi             cmm          39 106 mathord  ϕ
+slash              cmr          47  47 mathord  /
 Gamma              cmr         161  71 mathalpha  Γ
 Delta              cmr         162  68 mathalpha  Δ
 Theta              cmr         163  81 mathalpha  Θ
@@ -229,14 +285,14 @@ 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  ȷ
 ell                cmm          96   0 mathord  ℓ
 wp                 cmm         125 195 mathord  ℘
 Re                 cmsy         60 194 mathord  ℜ
-Im                 cmsy         61 193 mathord  ℑ
+Im                 cmsy         61 193 mathord  &imaginary;
 partial            cmm          64 182 mathord  ∂
 infty              cmsy         49 165 mathord  ∞
 prime              cmsy         48 162 mathord  ′
@@ -248,7 +304,6 @@ triangle           cmsy         52   0 mathord  ▵
 forall             cmsy         56  34 mathord  ∀
 exists             cmsy         57  36 mathord  ∃
 neg                cmsy         58 216 mathord  ¬
-lnot               cmsy         58 216 mathord  ¬
 flat               cmm          91   0 mathord  ♭
 natural            cmm          92   0 mathord  ♮
 sharp              cmm          93  35 mathord  ♯
@@ -257,10 +312,10 @@ 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  /           hiddensymbol
 iffont cmsy
-# 9mu = 0.5em which is the extra space added to relation operators
-\def\not{\lyxnot\kern-9mu}
+# kerning is slightly imperfect so that one can see when \not is selected
+\def\not{\lyxnot}
 else
 \def\not{\kern4mu\lyxnot\kern-19mu}
 endif
@@ -299,7 +354,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  ∓
@@ -316,6 +371,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  ↗
@@ -325,9 +382,7 @@ swarrow            cmsy         46   0 mathrel  ↙
 Leftrightarrow     cmsy         44 219 mathrel  ↔
 Leftarrow          cmsy         40 220 mathrel  ⇐
 Rightarrow         cmsy         41 222 mathrel  ⇒
-leq                cmsy        183 163 mathrel  ≤
 le                 cmsy        183 163 mathrel  ≤
-geq                cmsy        184 179 mathrel  ≥
 ge                 cmsy        184 179 mathrel  ≥
 succ               cmsy        194   0 mathrel  ≻
 prec               cmsy        193   0 mathrel  ≺
@@ -341,8 +396,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  ←
@@ -368,6 +423,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 ↑
@@ -399,23 +456,20 @@ 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  ∠
-hbar               msb         126   0 mathord  ℏ
 sqsubset           msa          64   0 mathrel  ⊏
 sqsupset           msa          65   0 mathrel  ⊐
 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  ⊵
 trianglelefteq     msa          69   0 mathrel  ⊴
 rightsquigarrow    msa         195   0 mathrel  ↝
-# This may not be right, but is the closest I can find.
-leadsto            msa         195   0 mathrel  ⤳
 lhd                msa          67   0 mathbin  ◃
 unlhd              msa          69   0 mathbin  ⊴
 rhd                msa          66   0 mathbin  ▹
@@ -522,7 +576,7 @@ supseteqq          msa         107   0 mathrel  ⫆
 bumpeq             msa         108   0 mathrel  ≏
 Bumpeq             msa         109   0 mathrel  ≎
 lll                msa         110   0 mathrel  ⋘
-llltr              msa         110   0 mathrel  ⋘
+llless             msa         110   0 mathrel  ⋘
 ggg                msa         111   0 mathrel  ⋙
 gggtr              msa         111   0 mathrel  ⋙
 circledS           msa         115   0 mathord  Ⓢ
@@ -545,7 +599,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  ⪈
@@ -629,31 +683,35 @@ hslash             msb         125   0 mathord  ℏ
 hbar               msb         126   0 mathord  ℏ
 backepsilon        msb         127   0 mathrel  ϶
 
-lyxbar             cmsy        161   0 mathord  —
-lyxeq              cmr          61   0 mathord  =
-lyxdabar           msa          57   0 mathord  –
-lyxright           msa          75   0 mathord  →
-lyxleft            msa          76   0 mathord  ←
+lyxbar             cmsy        161   0 mathrel   —  hiddensymbol
+lyxminus           cmsy        161   0 mathbin   —  hiddensymbol
+lyxplus            cmr          43  43 mathbin   +        hiddensymbol
+lyxeq              cmr          61  61 mathord   =        hiddensymbol
+lyxeqrel           cmr          61  61 mathrel   =        hiddensymbol
+lyxlt              cmm          60  60 mathrel   <     hiddensymbol
+lyxgt              cmm          62  62 mathrel   >     hiddensymbol
+lyxdabar           msa          57   0 mathord   –  hiddensymbol
+lyxright           msa          75   0 mathord   →   hiddensymbol
+lyxleft            msa          76   0 mathord   ←   hiddensymbol
 
 male               wasy          26  0 x        ♂
 female             wasy          25  0 x        ♀
-currency           wasy          27  0 x        ¤
-phone              wasy          7   0 x        ☎
-recorder           wasy          6   0 x        ⌕
-clock              wasy          28  0 x        &clock;
-lightning          wasy          18  0 x        ☇
-pointer            wasy          9   0 x        x
-RIGHTarrow         wasy          17  0 x        ▶
-LEFTarrow          wasy          16  0 x        ◀
-UParrow            wasy          75  0 x        ▲
-DOWNarrow          wasy          76  0 x        ▼
-#AC                 wasy          n0.5pt\wasyfamily\char58\kern0.5pt}}
-#HF         {\leavevmode
-#   \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
-#   \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
-#VHF                wasy          64  0 x        x
+currency           wasy          27  0 textmode ¤ wasysym,amstext,lyxmathsym # works in text mode only (produces \oe in math mode)
+phone              wasy          7   0 textmode ☎  wasysym,amstext,lyxmathsym # works in text mode only (produces \Upsilon in math mode)
+recorder           wasy          6   0 textmode ⌕ wasysym,amstext,lyxmathsym # works in text mode only (produces \Sigma in math mode)
+clock              wasy          28  0 textmode &clock;  wasysym,amstext,lyxmathsym # works in text mode only (produces \o in math mode)
+lightning          wasy          18  0 textmode ☇ wasysym,amstext,lyxmathsym # 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,amstext,lyxmathsym # works in text mode only (produces \Psi in math mode)
+RIGHTarrow         wasy          17  0 textmode ▶ wasysym,amstext,lyxmathsym # works in text mode only (produces \jmath in math mode)
+LEFTarrow          wasy          16  0 textmode ◀ wasysym,amstext,lyxmathsym # works in text mode only (produces \imath in math mode)
+UParrow            wasy          75  0 textmode ▲ wasysym,amstext,lyxmathsym # works in text mode only (produces K in math mode)
+DOWNarrow          wasy          76  0 textmode ▼ wasysym,amstext,lyxmathsym # works in text mode only (produces L in math mode)
+AC                 wasy          58  0 textmode ∿ wasysym,amstext,lyxmathsym # works in text mode only
+\def\HF{\approx}                                         wasysym
+VHF                wasy          64  0 x        ≋ # triple tilde
 Square             wasy          50  0 x        □
-#CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
+\def\CheckedBox{\Square\kern-13.4mu\checked}              wasysym
 XBox               wasy          52  0 x        ⊠
 hexagon            wasy          55  0 x        ⬡
 pentagon           wasy          68  0 x        ⬠
@@ -663,8 +721,7 @@ hexstar            wasy          65  0 x        ✶
 varhexstar         wasy          66  0 x        ✶
 davidsstar         wasy          67  0 x        ✡
 diameter           wasy          31  0 x        ⌀
-# Unicode is wrong, but a true alternate doesn't seem available.
-invdiameter        wasy          21  0 x        ⌀
+invdiameter        wasy          21  0 x        x       # 2205 EMPTY SET and 2300 DIAMETER SIGN are similar but not quite right
 varangle           wasy          30  0 x        ∢
 wasylozenge        wasy          53  0 x        ⌑
 kreuz              wasy          54  0 x        ✠
@@ -688,8 +745,22 @@ 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-13.4mu\Circle}             wasysym
+\def\RIGHTcircle{\RIGHTCIRCLE\kern-13.4mu\Circle}           wasysym
+
+# Defined by amsmath.sty
+
+varGamma           cmm         161  0  mathord  x  amsmath
+varDelta           cmm         162  0  mathord  x  amsmath
+varTheta           cmm         163  0  mathord  x  amsmath
+varLambda          cmm         164  0  mathord  x  amsmath
+varXi              cmm         165  0  mathord  x  amsmath
+varPi              cmm         166  0  mathord  x  amsmath
+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         172  0  mathord  x  amsmath
 
 #
 # wasy astronomy
@@ -702,7 +773,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  ☉
+astrosun           cmsy         175  0 mathbin  ☉ wasysym
 mercury            wasy          39  0 x        ☿
 venus              wasy          25  0 x        ♀
 earth              wasy          38  0 x        ♁
@@ -728,8 +799,8 @@ sagittarius        wasy          99  0 x        ♐
 capricornus        wasy          100 0 x        ♑
 aquarius           wasy          101 0 x        ♒
 pisces             wasy          102 0 x        ♓
-conjunction        wasy          86  0 x        ☌
-opposition         wasy          87  0 x        ☍
+conjunction        wasy          86  0 textmode ☌ wasysym,amstext,lyxmathsym # works in text mode only (produces V in math mode)
+opposition         wasy          87  0 textmode ☍ wasysym,amstext,lyxmathsym # works in text mode only (produces W in math mode)
 # APL characters
 APLstar            wasy          69  0 x        ⍟
 APLlog             wasy          22  0 x        x
@@ -738,7 +809,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{\mathord{\div\kern-13.9mu\APLbox}}  wasysym
 APLuparrowbox      wasy         110  0 x        ⍐
 APLdownarrowbox    wasy         111  0 x        ⍗
 APLleftarrowbox    wasy         112  0 x        ⍇
@@ -749,30 +820,32 @@ 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\AC\AC\AC}     wasysym
+lyxgluonelement    wasy          80  0 x        x        hiddensymbol
+lyxgluonbelement   wasy          81  0 x        x        hiddensymbol
+lyxgluoneelement   wasy          82  0 x        x        hiddensymbol
+\def\gluon{\lyxgluonbelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluonelement\lyxgluoneelement} wasysym
 # special characters
 cent               wasy         103   0 x        &#00A2;
 permil             wasy         104   0 x        ‰
-agemO              wasy          48   0 x        ℧
-thorn              wasy         105   0 x        þ
-Thorn              wasy         106   0 x        Þ
-openo              wasy         108   0 x        ɔ
-inve               wasy          85   0 x        ə
-
-mho               wasy          48    0  mathord ℧
-#Join              wasy          49    0  mathrel x
-#Box               wasy          50    0  mathord x
-#Diamond           wasy          51    0  mathord x
-leadsto            wasy          59    0  mathrel ⤳
-sqsubset          wasy          60    0  mathrel ⊏
-sqsupset          wasy          61    0  mathrel ⊐
-#lhd               wasy           1    0  mathbin x
-#unlhd             wasy           2    0  mathbin x
+agemO              wasy          48   0 textmode ℧    wasysym,amstext,lyxmathsym # works in text mode only (produces 0 in math mode)
+thorn              wasy         105   0 textmode þ wasysym,amstext,lyxmathsym # works in text mode only (produces i in math mode)
+Thorn              wasy         106   0 textmode Þ wasysym,amstext,lyxmathsym # works in text mode only (produces j in math mode)
+openo              wasy         108   0 textmode ɔ wasysym,amstext,lyxmathsym # works in text mode only (produces l in math mode)
+inve               wasy          85   0 textmode ə wasysym,amstext,lyxmathsym # works in text mode only (produces U in math mode)
+
+#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 ⊏  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 ≳
@@ -783,6 +856,153 @@ logof              wasy          22    0  mathrel x
 varint             wasy         114    0  mathop  ∫
 varoint            wasy         117    0  mathop  ∫
 
+# Generated from stmaryrd.sty
+
+shortleftarrow     stmry   0   0 mathrel    x  stmaryrd
+shortrightarrow    stmry   1   0 mathrel    x  stmaryrd
+shortuparrow       stmry   2   0 mathrel    x  stmaryrd
+shortdownarrow     stmry   3   0 mathrel    x  stmaryrd
+Yup                stmry   4   0 mathbin    x  stmaryrd
+Ydown              stmry   5   0 mathbin    x  stmaryrd
+Yleft              stmry   6   0 mathbin    x  stmaryrd
+Yright             stmry   7   0 mathbin    x  stmaryrd
+varcurlyvee        stmry   8   0 mathbin    x  stmaryrd
+# qt does not display characters at the \t position (0x09)
+# therefore our .ttf font contains a copy at 254 (0xfe)
+#varcurlywedge      stmry   9   0 mathbin    x  stmaryrd
+varcurlywedge      stmry 254   0 mathbin    x  stmaryrd
+minuso             stmry  10   0 mathbin    x  stmaryrd
+baro               stmry  11   0 mathbin    x  stmaryrd
+sslash             stmry  12   0 mathbin    x  stmaryrd
+bbslash            stmry  13   0 mathbin    x  stmaryrd
+moo                stmry  14   0 mathbin    x  stmaryrd
+varotimes          stmry  15   0 mathbin    x  stmaryrd
+varoast            stmry  16   0 mathbin    x  stmaryrd
+varobar            stmry  17   0 mathbin    x  stmaryrd
+varodot            stmry  18   0 mathbin    x  stmaryrd
+varoslash          stmry  19   0 mathbin    x  stmaryrd
+varobslash         stmry  20   0 mathbin    x  stmaryrd
+varocircle         stmry  21   0 mathbin    x  stmaryrd
+varoplus           stmry  22   0 mathbin    x  stmaryrd
+varominus          stmry  23   0 mathbin    x  stmaryrd
+boxast             stmry  24   0 mathbin    x  stmaryrd
+boxbar             stmry  25   0 mathbin    x  stmaryrd
+#boxdot             stmry  26   0 mathbin    x  stmaryrd # already in amssymb
+boxslash           stmry  27   0 mathbin    x  stmaryrd
+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
+merge              stmry  33   0 mathbin    x  stmaryrd
+vartimes           stmry  34   0 mathbin    x  stmaryrd
+fatsemi            stmry  35   0 mathbin    x  stmaryrd
+sswarrow           stmry  36   0 mathrel    x  stmaryrd
+ssearrow           stmry  37   0 mathrel    x  stmaryrd
+curlywedgeuparrow  stmry  38   0 mathrel    x  stmaryrd
+curlywedgedownarrow stmry 39   0 mathrel    x  stmaryrd
+fatslash           stmry  40   0 mathbin    x  stmaryrd
+fatbslash          stmry  41   0 mathbin    x  stmaryrd
+lbag               stmry  42   0 mathbin    x  stmaryrd
+rbag               stmry  43   0 mathbin    x  stmaryrd
+varbigcirc         stmry  44   0 mathbin    x  stmaryrd
+leftrightarroweq   stmry  45   0 mathrel    x  stmaryrd
+curlyveedownarrow  stmry  46   0 mathrel    x  stmaryrd
+curlyveeuparrow    stmry  47   0 mathrel    x  stmaryrd
+nnwarrow           stmry  48   0 mathrel    x  stmaryrd
+nnearrow           stmry  49   0 mathrel    x  stmaryrd
+leftslice          stmry  50   0 mathbin    x  stmaryrd
+rightslice         stmry  51   0 mathbin    x  stmaryrd
+varolessthan       stmry  52   0 mathbin    x  stmaryrd
+varogreaterthan    stmry  53   0 mathbin    x  stmaryrd
+varovee            stmry  54   0 mathbin    x  stmaryrd
+varowedge          stmry  55   0 mathbin    x  stmaryrd
+talloblong         stmry  56   0 mathbin    x  stmaryrd
+interleave         stmry  57   0 mathbin    x  stmaryrd
+obar               stmry  58   0 mathbin    x  stmaryrd
+obslash            stmry  59   0 mathbin    x  stmaryrd
+olessthan          stmry  60   0 mathbin    x  stmaryrd
+ogreaterthan       stmry  61   0 mathbin    x  stmaryrd
+ovee               stmry  62   0 mathbin    x  stmaryrd
+owedge             stmry  63   0 mathbin    x  stmaryrd
+oblong             stmry  64   0 mathbin    x  stmaryrd
+inplus             stmry  65   0 mathrel    x  stmaryrd
+niplus             stmry  66   0 mathrel    x  stmaryrd
+nplus              stmry  67   0 mathbin    x  stmaryrd
+subsetplus         stmry  68   0 mathrel    x  stmaryrd
+supsetplus         stmry  69   0 mathrel    x  stmaryrd
+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
+llparenthesis      stmry  76   0 mathopen   x  stmaryrd
+rrparenthesis      stmry  77   0 mathclose  x  stmaryrd
+binampersand       stmry  78   0 mathopen   x  stmaryrd
+bindnasrepma       stmry  79   0 mathclose  x  stmaryrd
+trianglelefteqslant stmry 80   0 mathrel    x  stmaryrd
+trianglerighteqslant stmry 81  0 mathrel    x  stmaryrd
+ntrianglelefteqslant stmry 82  0 mathrel    x  stmaryrd
+ntrianglerighteqslant stmry 83 0 mathrel    x  stmaryrd
+llfloor            stmry  84   0 mathopen   x  stmaryrd
+rrfloor            stmry  85   0 mathclose  x  stmaryrd
+llceil             stmry  86   0 mathopen   x  stmaryrd
+rrceil             stmry  87   0 mathclose  x  stmaryrd
+lyxarrownot        stmry  88   0 mathrel    x  hiddensymbol #see arrownot defined below
+lyxArrownot        stmry  89   0 mathrel    x  hiddensymbol #see Arrownot defined below
+Mapstochar         stmry  90   0 mathrel    x  stmaryrd
+mapsfromchar       stmry  91   0 mathrel    x  stmaryrd
+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
+
+\def\varcopyright{\mathord{c\kern-11mu\varbigcirc}}         stmaryrd
+# kerning is slightly imperfect so that one sees when \[Aa]rrownot is selected
+\def\arrownot{\lyxarrownot}                                 stmaryrd
+\def\Arrownot{\lyxArrownot\mathrel{\kern0.5mu}}             stmaryrd
+\def\longarrownot{\mathrel{\kern5.5mu}\arrownot\mathrel{\kern-5.5mu}} stmaryrd
+\def\Longarrownot{\mathrel{\kern5.5mu}\Arrownot\mathrel{\kern-5.5mu}} stmaryrd
+\def\Mapsto{\Mapstochar\mathrel\Rightarrow}              mathrel ⤇ stmaryrd
+\def\mapsfrom{\leftarrow\kern-9mu\mapsfromchar}          mathrel ↤ stmaryrd
+\def\Mapsfrom{\Leftarrow\kern-9mu\Mapsfromchar}          mathrel ⤆ stmaryrd
+\def\Longmapsto{\Mapstochar\Longrightarrow}              mathrel ⟾ stmaryrd
+\def\longmapsfrom{\longleftarrow\mapsfromchar}           mathrel ⟻ stmaryrd
+\def\Longmapsfrom{\Longleftarrow\mathrel{\kern1mu}\Mapsfromchar}   mathrel ⟽ stmaryrd
+
 # symbols from the mhchem package, all of them are equivalent to a math symbol
 # mhchem is not loaded because these commands can only be used inside
 # a \ce or a \cf inset
@@ -799,44 +1019,44 @@ tbond              cmsy        180 186 mathord  x
 # Note that we do _not_ require the wasysym package for any integral besides
 # \varint and \varoint. The reason is that the integrals of the wasysym
 # package do not match the standard \int and \intop. See
-# http://bugzilla.lyx.org/show_bug.cgi?id=1942 for details.
+# http://www.lyx.org/trac/ticket/1942 for details.
 # 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
-iint               esint        003    0  mathop  ∬      esintoramsmath
-iintop             esint        003    0  mathop  ∬      esint
-iiint              esint        005    0  mathop  ∭      esintoramsmath
+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
+iiint              esint        005    0  mathop  ∭        esint|amsmath
 
-iiintop            esint        005    0  mathop  ∭      esint
-iiiint             esint        007    0  mathop  ⨌      esintoramsmath
+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
-iint               wasy         115    0  mathop  ∬      esintoramsmath
-iintop             wasy         115    0  mathop  &Int      esint
-iiint              wasy         116    0  mathop  ∭      esintoramsmath
-
-iiintop            wasy         116    0  mathop  ∭      esint
-\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
+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
+iiint              wasy         116    0  mathop  ∭        esint|amsmath
+
+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
 \def\dotsintop{\int\kern-3mu\cdots\kern-3mu\int}                esint
@@ -855,22 +1075,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
@@ -905,62 +1125,96 @@ exp                lyxblacktext  0   0 func     x
 Pr                 lyxblacktext  0   0 funclim  x
 gcd                lyxblacktext  0   0 funclim  x
 deg                lyxblacktext  0   0 func     x
+mod                lyxblacktext  0   0 func     x     amsmath
 bmod               lyxblacktext  0   0 func     x
 pmod               lyxblacktext  0   0 func     x
+pod                lyxblacktext  0   0 func     x     amsmath
+
 
+# mathtools.sty
+vcentcolon         cmr          58  58    mathrel :             mathtools
+ordinarycolon      cmr          58  58    mathrel :             mathtools
+\def\dblcolon{\vcentcolon\mathrel{\kern-0.9mu}\vcentcolon}      mathrel ::       mathtools
+\def\coloneqq{\vcentcolon\mathrel{\kern-1.2mu}=}                mathrel ≔ mathtools
+\def\Coloneqq{\dblcolon\mathrel{\kern-1.2mu}=}                  mathrel ::=      mathtools
+\def\coloneq{\vcentcolon\mathrel{\kern-1.2mu}\mathrel{-}}       mathrel :-       mathtools
+\def\Coloneq{\dblcolon\mathrel{\kern-1.2mu}\mathrel{-}}         mathrel ::-      mathtools
+\def\eqqcolon{=\mathrel{\kern-1.2mu}\vcentcolon}                mathrel ≕ mathtools
+\def\Eqqcolon{=\mathrel{\kern-1.2mu}\dblcolon}                  mathrel =::      mathtools
+\def\eqcolon{\mathrel{-}\mathrel{\kern-1.2mu}\vcentcolon}                 mathrel -:       mathtools
+\def\Eqcolon{\mathrel{-}\mathrel{\kern-1.2mu}\dblcolon}                   mathrel -::      mathtools
+\def\colonapprox{\vcentcolon\mathrel{\kern-1.2mu}\approx}       mathrel :≈    mathtools
+\def\Colonapprox{\dblcolon\mathrel{\kern-1.2mu}\approx}         mathrel ::≈   mathtools
+\def\colonsim{\vcentcolon\mathrel{\kern-1.2mu}\sim}             mathrel :∼   mathtools
+\def\Colonsim{\dblcolon\mathrel{\kern-1.2mu}\sim}               mathrel ::∼  mathtools
 
 
 #
 # pre-defined macros
 #
 
-\def\neq{\not=}
-\def\ne{\not=}
-\def\notin{\not\in}
-\def\slash{/}
+\def\leq{\le}                                                   mathrel ≤
+\def\geq{\ge}                                                   mathrel ≥
+\def\neq{\not=}                                                 mathrel ≠
+\def\ne{\not=}                                                  mathrel ≠
+\def\lnot{\neg}                                                 mathord ¬
+\def\notin{\not\in}                                             mathrel ∉
 
-\def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
-\def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
-\def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
-\def\doteq{\stackrel{\cdot}{=}}
+\def\joinrel{\mathrel{\kern-3mu}}
+\def\relbar{\lyxbar}
+\def\Relbar{\mathrel{=}}
+\def\longleftrightarrow{\leftarrow\joinrel\rightarrow}          mathrel ⟷
+\def\Longleftrightarrow{\Leftarrow\joinrel\Rightarrow}          mathrel ⟺
+\def\iff{\Leftarrow\joinrel\Rightarrow}                         mathrel ⟺
+\def\doteq{\stackrel{\cdot}{=}}                                 mathrel ≐
 
 iffont cmsy
-\def\longrightarrow{\lyxbar\kern-11mu\rightarrow}
-\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\mapsto{\mapstochar\kern-9mu\rightarrow}
-\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
-\def\models{\vert\kern-7mu\lyxeq}
+\def\longrightarrow{\relbar\joinrel\rightarrow}                 mathrel ⟶
+\def\longleftarrow{\leftarrow\joinrel\relbar}                   mathrel ⟵
+\def\Longrightarrow{\Relbar\joinrel\Rightarrow}                 mathrel ⟹
+\def\Longleftarrow{\Leftarrow\joinrel\Relbar}                   mathrel ⟸
+\def\implies{\Longrightarrow}                                   mathrel ⟹ amsmath
+\def\impliedby{\Longleftarrow}                                  mathrel ⟸ amsmath
+\def\mapsto{\mapstochar\rightarrow}                             mathrel ↤
+\def\longmapsto{\mapstochar\joinrel\relbar\joinrel\rightarrow}  mathrel ⟻
+\def\models{\mathrel{\vert}\joinrel\Relbar}                     mathrel ⊨
+else
+\def\implies{=>}                                                mathrel ⟹ amsmath
+\def\impliedby{<=}                                              mathrel &#x27F8; amsmath
 endif
 iffont cmm
-\def\hookrightarrow{\lhook\kern-12mu\rightarrow}
-\def\hookleftarrow{\leftarrow\kern-12mu\rhook}
-\def\bowtie{\triangleright\kern-6mu\triangleleft}
+\def\hookrightarrow{\lhook\joinrel\rightarrow}                  mathrel &#x21AA;
+\def\hookleftarrow{\leftarrow\joinrel\rhook}                    mathrel &#x21A9;
+\def\bowtie{\mathrel\triangleright\joinrel\mathrel\triangleleft} mathrel &#x22C8;
 endif
 iffont msa
-\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
-\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
-\def\dasharrow{\dashrightarrow}
+\def\dashrightarrow{\mathrel{\lyxdabar\lyxdabar\lyxright}}      mathrel &#x290F; amssymb
+\def\dashleftarrow{\mathrel{\lyxleft\lyxdabar\lyxdabar}}        mathrel &#x290E; amssymb
+else
+\def\dashrightarrow{- - \rightarrow}                            mathrel &#x290F; amssymb
+\def\dashleftarrow{\leftarrow{} - -}                            mathrel &#x290E; amssymb
 endif
+\def\dasharrow{\dashrightarrow}                                 mathrel &#x290F; amssymb
 iffont msb
-\def\Join{\ltimes\kern-18.5mu\rtimes}
+\def\Join{\mathrel{\ltimes\kern-13.5mu\rtimes}}                 mathrel &#x2a1d; amssymb
+else
+\def\Join{|x|}                                                  mathrel &#x2a1d; amssymb
 endif
-# Fixme: latin-1 chars in text file
-\def\AA{\AA}{Å}
-\def\O{\O}{Ø}
+\def\AA{\AA}{\text{Å}} textmode &Aring;  amstext,lyxmathsym
+\def\O{\O}{\text{Ø}}   textmode &Oslash; amstext,lyxmathsym
 
 iffont cmsy
 # The \sim is placed too high...
-\def\cong{\stackrel{_\sim}{=}}
+\def\cong{\stackrel{\sim}{=}}                                   mathrel &cong;
 lyxsurd               cmsy        112 0 mathord  &radic;
-\def\surd{^\lyxsurd}
-\def\textdegree{\kern-1mu^{\circ}\kern-4mu}
+\def\surd{^\lyxsurd}                                            mathord &radic;
+\def\textdegree{\text{°}} textmode &deg; textcomp,amstext,lyxmathsym
 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;
+textdegree         lyxsymbol             176 0 mathord  &deg; textcomp,amstext,lyxmathsym
 endif
 
 #"{\hat{}}