]> git.lyx.org Git - lyx.git/blobdiff - lib/symbols
Fix display of some math symbols
[lyx.git] / lib / symbols
index 1f01da4eaff471ccd44f309e485c8ffce322716e..1905888887be3e2c848d4619a6a1f55f712bdbdd 100644 (file)
@@ -1,13 +1,44 @@
 #
 # 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 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
 bar                 decoration none
 breve               decoration none
 check               decoration none
-dddot               decoration none
+ddddot              decoration none       amsmath
+dddot               decoration none       amsmath
 ddot                decoration none
 dot                 decoration none
 grave               decoration none
@@ -15,22 +46,31 @@ hat                 decoration none
 mathring            decoration none
 overbrace           decoration none
 overleftarrow       decoration none
-overleftrightarrow  decoration none
+overleftrightarrow  decoration none       amsmath
 overline            decoration none
 overrightarrow      decoration none
 tilde               decoration none
 underbar            decoration none
 underbrace          decoration none
-underleftarrow      decoration none
-underleftrightarrow decoration none
+underleftarrow      decoration none       amsmath
+underleftrightarrow decoration none       amsmath
 underline           decoration none
-underrightarrow     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
 
 # dots
 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        hiddensymbol
 cdots             dots        none
 ddots             dots        none
 dotsb             dots        none        amsmath
@@ -38,19 +78,24 @@ dotsc             dots        none        amsmath
 dotsi             dots        none        amsmath
 dotsm             dots        none        amsmath
 dotso             dots        none        amsmath
+iddots            dots        none        mathdots
 ldots             dots        none
 vdots             dots        none
 
 # big delimiters
+big               big         none
 bigl              big         none
 bigm              big         none
 bigr              big         none
+Big               big         none
 Bigl              big         none
 Bigm              big         none
 Bigr              big         none
+bigg              big         none
 biggl             big         none
 biggm             big         none
 biggr             big         none
+Bigg              big         none
 Biggl             big         none
 Biggm             big         none
 Biggr             big         none
@@ -58,10 +103,12 @@ Biggr             big         none
 # packages. No 'm' versions!
 # See lucidabr.dtx for a possible implementation if you want to use these
 # with other fonts.
-bigggl            big         none
-bigggr            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
@@ -74,6 +121,7 @@ mathcal           font        mathmode
 mathfrak          font        mathmode
 mathit            font        mathmode
 mathrm            font        mathmode
+mathscr           font        mathmode 
 mathsf            font        mathmode
 mathtt            font        mathmode
 textnormal        font        textmode  inherit  medium   up  math
@@ -90,13 +138,16 @@ texttt            font        textmode
 textup            font        textmode
 emph              font        textmode
 noun              font        textmode
+# ce and cf are provided by the mhchem package
+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
@@ -120,6 +171,7 @@ rgathered         split       none
 # references
 pageref           ref         none
 prettyref         ref         none
+refstyle          ref         none
 ref               ref         none
 vpageref          ref         none
 vref              ref         none
@@ -138,8 +190,11 @@ 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
@@ -166,601 +221,773 @@ 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
 #
 
 #symbol            font   charid   charid-in-fallback-Xsymbol-font
-alpha              cmm         174  97 mathord  x
-beta               cmm         175  98 mathord  x
-gamma              cmm         176 103 mathord  x
-delta              cmm         177 100 mathord  x
-epsilon            cmm         178   0 mathord  x
-zeta               cmm         179 122 mathord  x
-eta                cmm         180 104 mathord  x
-theta              cmm         181 113 mathord  x
-iota               cmm         182 105 mathord  x
-kappa              cmm         183 107 mathord  x
-lambda             cmm         184 108 mathord  x
-mu                 cmm         185 109 mathord  x
-nu                 cmm         186 110 mathord  x
-xi                 cmm         187 120 mathord  x
-pi                 cmm         188 112 mathord  x
-rho                cmm         189 114 mathord  x
-sigma              cmm         190 115 mathord  x
-tau                cmm         191 116 mathord  x
-upsilon            cmm         192 117 mathord  x
-phi                cmm         193 102 mathord  x
-chi                cmm         194  99 mathord  x
-psi                cmm         195 121 mathord  x
-omega              cmm          33 119 mathord  x
-varepsilon         cmm          34 101 mathord  x
-vartheta           cmm          35  74 mathord  x
-varpi              cmm          36 118 mathord  x
-varrho             cmm          37   0 mathord  x
-varsigma           cmm          38  86 mathord  x
-varphi             cmm          39 106 mathord  x
-Gamma              cmr         161  71 mathalpha  x
-Delta              cmr         162  68 mathalpha  x
-Theta              cmr         163  81 mathalpha  x
-Lambda             cmr         164  76 mathalpha  x
-Xi                 cmr         165  88 mathalpha  x
-Pi                 cmr         166  80 mathalpha  x
-Sigma              cmr         167  83 mathalpha  x
-Upsilon            cmr         168 161 mathalpha  x
-Phi                cmr         169  70 mathalpha  x
-Psi                cmr         170  89 mathalpha  x
-Omega              cmr         173  87 mathalpha  x
-aleph              cmsy         64 192 mathord  x
-imath              cmm         123   0 mathord  x
-jmath              cmm         124   0 mathord  x
-ell                cmm          96   0 mathord  x
-wp                 cmm         125 195 mathord  x
-Re                 cmsy         60 194 mathord  x
-Im                 cmsy         61 193 mathord  x
-partial            cmm          64 182 mathord  x
-infty              cmsy         49 165 mathord  x
-prime              cmsy         48 162 mathord  x
-emptyset           cmsy         59   0 mathord  x
-nabla              cmsy        114 209 mathord  x
-top                cmsy         62   0 mathord  x
-bot                cmsy         63  94 mathord  x
-triangle           cmsy         52   0 mathord  x
-forall             cmsy         56  34 mathord  x
-exists             cmsy         57  36 mathord  x
-neg                cmsy         58 216 mathord  x
-lnot               cmsy         58 216 mathord  x
-flat               cmm          91   0 mathord  x
-natural            cmm          92   0 mathord  x
-sharp              cmm          93  35 mathord  x
-clubsuit           cmsy        124 167 mathord  x
-diamondsuit        cmsy        125 168 mathord  x
-heartsuit          cmsy        126 169 mathord  x
-spadesuit          cmsy        127 170 mathord  x
+alpha              cmm         174  97 mathord  α
+beta               cmm         175  98 mathord  β
+gamma              cmm         176 103 mathord  γ
+delta              cmm         177 100 mathord  δ
+epsilon            cmm         178   0 mathord  ε
+zeta               cmm         179 122 mathord  ζ
+eta                cmm         180 104 mathord  η
+theta              cmm         181 113 mathord  θ
+iota               cmm         182 105 mathord  ι
+kappa              cmm         183 107 mathord  κ
+lambda             cmm         184 108 mathord  λ
+mu                 cmm         185 109 mathord  μ
+nu                 cmm         186 110 mathord  ν
+xi                 cmm         187 120 mathord  ξ
+pi                 cmm         188 112 mathord  π
+rho                cmm         189 114 mathord  ρ
+sigma              cmm         190 115 mathord  σ
+tau                cmm         191 116 mathord  τ
+upsilon            cmm         192 117 mathord  υ
+phi                cmm         193 102 mathord  φ
+chi                cmm         194  99 mathord  χ
+psi                cmm         195 121 mathord  ψ
+omega              cmm          33 119 mathord  ω
+varepsilon         cmm          34 101 mathord  ϵ
+vartheta           cmm          35  74 mathord  ϑ
+varpi              cmm          36 118 mathord  ϖ
+varrho             cmm          37   0 mathord  ϱ
+varsigma           cmm          38  86 mathord  ς
+varphi             cmm          39 106 mathord  ϕ
+Gamma              cmr         161  71 mathalpha  Γ
+Delta              cmr         162  68 mathalpha  Δ
+Theta              cmr         163  81 mathalpha  Θ
+Lambda             cmr         164  76 mathalpha  Λ
+Xi                 cmr         165  88 mathalpha  Ξ
+Pi                 cmr         166  80 mathalpha  Π
+Sigma              cmr         167  83 mathalpha  Σ
+Upsilon            cmr         168 161 mathalpha  ϒ
+Phi                cmr         169  70 mathalpha  Φ
+Psi                cmr         170  89 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  &imaginary;
+partial            cmm          64 182 mathord  ∂
+infty              cmsy         49 165 mathord  ∞
+prime              cmsy         48 162 mathord  ′
+emptyset           cmsy         59   0 mathord  ∅
+nabla              cmsy        114 209 mathord  ∇
+top                cmsy         62   0 mathord  ⊤
+bot                cmsy         63  94 mathord  ⊥
+triangle           cmsy         52   0 mathord  ▵
+forall             cmsy         56  34 mathord  ∀
+exists             cmsy         57  36 mathord  ∃
+neg                cmsy         58 216 mathord  ¬
+flat               cmm          91   0 mathord  ♭
+natural            cmm          92   0 mathord  ♮
+sharp              cmm          93  35 mathord  ♯
+clubsuit           cmsy        124 167 mathord  ♣
+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  x
+lyxnot             cmsy         54  47 mathrel  /
 iffont cmsy
-# 9mu = 0.5em which is the extra space added to relation operators
-\def\not{\lyxnot\kern-9mu}
+# 10mu is the extra space added to relation operators
+\def\not{\lyxnot\kern-20mu}
 else
 \def\not{\kern4mu\lyxnot\kern-19mu}
 endif
-coprod             cmex         96   0 mathop   x
-bigvee             cmex         87   0 mathop   x
-bigwedge           cmex         86   0 mathop   x
-biguplus           cmex         85   0 mathop   x
-bigcap             cmex         84   0 mathop   x
-bigcup             cmex         83   0 mathop   x
-prod               cmex         81 213 mathop   x
-sum                cmex         80 229 mathop   x
-bigotimes          cmex         78   0 mathop   x
-bigoplus           cmex         76   0 mathop   x
-bigodot            cmex         74   0 mathop   x
-bigsqcup           cmex         70   0 mathop   x
-smallint           cmsy        115   0 mathop   x
-triangleleft       cmm          47   0 mathbin  x
-triangleright      cmm          46   0 mathbin  x
-bigtriangleup      cmsy         52   0 mathbin  x
-bigtriangledown    cmsy         53   0 mathbin  x
-wedge              cmsy         94 217 mathbin  x
-land               cmsy         94 217 mathbin  x
-vee                cmsy         95 218 mathbin  x
-lor                cmsy         95 218 mathbin  x
-cap                cmsy         92 199 mathbin  x
-cup                cmsy         91 200 mathbin  x
-ddagger            cmsy        122   0 mathbin  x
-dagger             cmsy        121   0 mathbin  x
-sqcap              cmsy        117   0 mathbin  x
-sqcup              cmsy        116   0 mathbin  x
-uplus              cmsy         93   0 mathbin  x
-amalg              cmsy        113   0 mathbin  x
-diamond            cmsy        166 224 mathbin  x
-bullet             cmsy        178 183 mathbin  x
-wr                 cmsy        111   0 mathbin  x
-div                cmsy        165 184 mathbin  x
-odot               cmsy        175   0 mathbin  x
-oslash             cmsy        174 198 mathbin  x
-otimes             cmsy        173 196 mathbin  x
-ominus             cmsy        170   0 mathbin  x
-oplus              cmsy        169 197 mathbin  x
-mp                 cmsy        168   0 mathbin  x
-pm                 cmsy        167 177 mathbin  x
-circ               cmsy        177   0 mathbin  x
-bigcirc            cmsy        176   0 mathbin  x
-setminus           cmsy        110   0 mathbin  x
-cdot               cmsy        162 215 mathbin  x
-ast                cmsy        164   0 mathbin  x
-times              cmsy        163 180 mathbin  x
-star               cmm          63   0 mathbin  x
-propto             cmsy         47 181 mathrel  x
-sqsubseteq         cmsy        118   0 mathrel  x
-sqsupseteq         cmsy        119   0 mathrel  x
-parallel           cmsy        107   0 mathrel  x
-mid                cmsy        106 124 mathrel  x
-dashv              cmsy         97   0 mathrel  x
-vdash              cmsy         96   0 mathrel  x
-nearrow            cmsy         37   0 mathrel  x
-searrow            cmsy         38   0 mathrel  x
-nwarrow            cmsy         45   0 mathrel  x
-swarrow            cmsy         46   0 mathrel  x
-Leftrightarrow     cmsy         44 219 mathrel  x
-Leftarrow          cmsy         40 220 mathrel  x
-Rightarrow         cmsy         41 222 mathrel  x
-leq                cmsy        183 163 mathrel  x
-le                 cmsy        183 163 mathrel  x
-geq                cmsy        184 179 mathrel  x
-ge                 cmsy        184 179 mathrel  x
-succ               cmsy        194   0 mathrel  x
-prec               cmsy        193   0 mathrel  x
-approx             cmsy        188 187 mathrel  x
-succeq             cmsy        186   0 mathrel  x
-preceq             cmsy        185   0 mathrel  x
-supset             cmsy        190 201 mathrel  x
-subset             cmsy        189 204 mathrel  x
-supseteq           cmsy        182 202 mathrel  x
-subseteq           cmsy        181 205 mathrel  x
-in                 cmsy         50 206 mathrel  x
-ni                 cmsy         51  39 mathrel  x
-owns               cmsy         51  39 mathrel  x
-gg                 cmsy        192   0 mathrel  x
-ll                 cmsy        191   0 mathrel  x
-leftrightarrow     cmsy         36 171 mathrel  x
-leftarrow          cmsy        195 172 mathrel  x
-gets               cmsy        195 172 mathrel  x
-rightarrow         cmsy         33 174 mathrel  x
-to                 cmsy         33 174 mathrel  x
+coprod             cmex         96   0 mathop   ⨿
+bigvee             cmex         87   0 mathop   ⋁
+bigwedge           cmex         86   0 mathop   ⋀
+biguplus           cmex         85   0 mathop   ⨄
+bigcap             cmex         84   0 mathop   ⋂
+bigcup             cmex         83   0 mathop   ⋃
+prod               cmex         81 213 mathop   ∏
+sum                cmex         80 229 mathop   ∑
+bigotimes          cmex         78   0 mathop   ⨂
+bigoplus           cmex         76   0 mathop   ⨁
+bigodot            cmex         74   0 mathop   ⨀
+bigsqcup           cmex         70   0 mathop   ⨆
+smallint           cmsy        115   0 mathop   ∫
+triangleleft       cmm          47   0 mathbin  ◃
+triangleright      cmm          46   0 mathbin  ▹
+bigtriangleup      cmsy         52   0 mathbin  △
+bigtriangledown    cmsy         53   0 mathbin  ▽
+wedge              cmsy         94 217 mathbin  ∧
+land               cmsy         94 217 mathbin  ⋀
+vee                cmsy         95 218 mathbin  ∨
+lor                cmsy         95 218 mathbin  ⋁
+cap                cmsy         92 199 mathbin  ∩
+cup                cmsy         91 200 mathbin  ∪
+ddagger            cmsy        122   0 mathbin  ‡
+dagger             cmsy        121   0 mathbin  †
+sqcap              cmsy        117   0 mathbin  ⊓
+sqcup              cmsy        116   0 mathbin  ⊔
+uplus              cmsy         93   0 mathbin  ⊎
+amalg              cmsy        113   0 mathbin  ⨿
+diamond            cmsy        166 224 mathbin  ◊
+bullet             cmsy        178 183 mathbin  •
+wr                 cmsy        111   0 mathbin  ≀
+div                cmsy        165 184 mathbin  ÷
+odot               cmsy        175   0 mathbin  ⊙
+oslash             cmsy        174 198 mathbin  ø
+otimes             cmsy        172 196 mathbin  ⊗
+ominus             cmsy        170   0 mathbin  ⊖
+oplus              cmsy        169 197 mathbin  ⊕
+mp                 cmsy        168   0 mathbin  ∓
+pm                 cmsy        167 177 mathbin  ±
+circ               cmsy        177   0 mathbin  ○
+bigcirc            cmsy        176   0 mathbin  ◯
+setminus           cmsy        110   0 mathbin  ∖
+cdot               cmsy        162 215 mathbin  ⋅
+ast                cmsy        164   0 mathbin  ∗
+times              cmsy        163 180 mathbin  ×
+star               cmm          63   0 mathbin  ★
+propto             cmsy         47 181 mathrel  ∝
+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  ↗
+searrow            cmsy         38   0 mathrel  ↘
+nwarrow            cmsy         45   0 mathrel  ↖
+swarrow            cmsy         46   0 mathrel  ↙
+Leftrightarrow     cmsy         44 219 mathrel  ↔
+Leftarrow          cmsy         40 220 mathrel  ⇐
+Rightarrow         cmsy         41 222 mathrel  ⇒
+le                 cmsy        183 163 mathrel  ≤
+ge                 cmsy        184 179 mathrel  ≥
+succ               cmsy        194   0 mathrel  ≻
+prec               cmsy        193   0 mathrel  ≺
+approx             cmsy        188 187 mathrel  ≈
+succeq             cmsy        186   0 mathrel  ⪰
+preceq             cmsy        185   0 mathrel  ⪯
+supset             cmsy        190 201 mathrel  ⊃
+subset             cmsy        189 204 mathrel  ⊂
+supseteq           cmsy        182 202 mathrel  ⊇
+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  ≪
+leftrightarrow     cmsy         36 171 mathrel  ↔
+leftarrow          cmsy        195 172 mathrel  ←
+gets               cmsy        195 172 mathrel  ←
+rightarrow         cmsy         33 174 mathrel  →
+to                 cmsy         33 174 mathrel  →
 mapstochar         cmsy         55   0 mathrel  x
-sim                cmsy        187 126 mathrel  x
-simeq              cmsy         39   0 mathrel  x
-perp               cmsy         63   0 mathrel  x
-equiv              cmsy        180 186 mathrel  x
-asymp              cmsy        179   0 mathrel  x
-smile              cmm          94   0 mathrel  x
-frown              cmm          95   0 mathrel  x
-leftharpoonup      cmm          40   0 mathrel  x
-leftharpoondown    cmm          41   0 mathrel  x
-rightharpoonup     cmm          42   0 mathrel  x
-rightharpoondown   cmm          43   0 mathrel  x
+sim                cmsy        187 126 mathrel  ∼
+simeq              cmsy         39   0 mathrel  ≃
+perp               cmsy         63   0 mathrel  ⊥
+equiv              cmsy        180 186 mathrel  ≡
+asymp              cmsy        179   0 mathrel  ≈
+smile              cmm          94   0 mathrel  ⌣
+frown              cmm          95   0 mathrel  ⌢
+leftharpoonup      cmm          40   0 mathrel  ↼
+leftharpoondown    cmm          41   0 mathrel  ↽
+rightharpoonup     cmm          42   0 mathrel  ⇀
+rightharpoondown   cmm          43   0 mathrel  ⇁
 lhook              cmm          44   0 mathrel  x
 rhook              cmm          45   0 mathrel  x
-ldotp              cmm          58   0 mathpunct  x
-cdotp              cmsy        162   0 mathpunct  x
-colon              cmr          58  58 mathpunct  x
-arrowvert          cmsy        106   0 mathord  x
-Arrowvert          cmsy        107   0 mathord  x
-Vert               cmsy        107   0 mathord  x
-|                  cmsy        107   0 mathord  x
-vert               cmsy        106   0 mathord  x
-uparrow            cmsy         34 173 mathrel  x
-downarrow          cmsy         35 175 mathrel  x
-updownarrow        cmsy        108   0 mathrel  x
-Uparrow            cmsy         42 221 mathrel  x
-Downarrow          cmsy         43 223 mathrel  x
-Updownarrow        cmsy        109   0 mathrel  x
-backslash          cmsy        110   0 mathord  x
-rangle             cmsy        105 241 mathclose  x
-langle             cmsy        104 225 mathopen  x
-rbrace             cmsy        103   0 mathclose  x
-lbrace             cmsy        102   0 mathopen  x
-rceil              cmsy        101 249 mathclose  x
-lceil              cmsy        100 233 mathopen  x
-rfloor             cmsy         99 251 mathclose  x
-lfloor             cmsy         98 235 mathopen  x
-mathparagraph      cmsy        123   0 mathord  x
-mathsection        cmsy        120   0 mathord  x
-mathdollar         cmr          36   0 mathord  x
+ldotp              cmm          58   0 mathpunct  <mo>.</mo>
+cdotp              cmsy        162   0 mathpunct  &sdot;
+colon              cmr          58  58 mathpunct  &colon;
+arrowvert          cmsy        106   0 mathord  &verbar;
+Arrowvert          cmsy        107   0 mathord  &par;
+Vert               cmsy        107   0 mathord  &par;
+lVert              cmsy        107   0 mathord  &par;  amsmath
+rVert              cmsy        107   0 mathord  &par;  amsmath
+|                  cmsy        107   0 mathord  &verbar;
+vert               cmsy        106   0 mathord  &verbar;
+uparrow            cmsy         34 173 mathrel &uarr;
+downarrow          cmsy         35 175 mathrel  &darr;
+updownarrow        cmsy        108   0 mathrel  &varr;
+Uparrow            cmsy         42 221 mathrel  &uArr;
+Downarrow          cmsy         43 223 mathrel  &dArr;
+Updownarrow        cmsy        109   0 mathrel  &vArr;
+backslash          cmsy        110   0 mathord  &bsol;
+rangle             cmsy        105 241 mathclose  &rang;
+langle             cmsy        104 225 mathopen  &lang;
+rbrace             cmsy        103   0 mathclose  &rcub;
+lbrace             cmsy        102   0 mathopen  &lcub;
+rceil              cmsy        101 249 mathclose  &rceil;
+lceil              cmsy        100 233 mathopen  &lceil;
+rfloor             cmsy         99 251 mathclose  &rfloor;
+lfloor             cmsy         98 235 mathopen  &lfloor;
+mathparagraph      cmsy        123   0 mathord  &para;
+mathsection        cmsy        120   0 mathord  &sect;
+mathdollar         cmr          36   0 mathord  &dollar;
 
 # Generated from amsfonts.sty
 
-yen                msa          85   0 mathord  x
-checkmark          msa          88   0 mathord  x
-circledR           msa         114   0 mathord  x
-maltese            msa         122   0 mathord  x
-ulcorner           msa         112   0 mathopen  x
-urcorner           msa         113   0 mathclose  x
-llcorner           msa         120   0 mathopen  x
-lrcorner           msa         121   0 mathclose  x
-rightleftharpoons  msa         173   0 mathrel  x
-angle              msa          92 208 mathord  x
-hbar               msb         126   0 mathord  x
-sqsubset           msa          64   0 mathrel  x
-sqsupset           msa          65   0 mathrel  x
-mho                msb         102   0 mathord  x
-square             msa         164   0 mathord  x
-Box                msa         164   0 mathord  x
-lozenge            msa         167   0 mathord  x
-Diamond            msa         167   0 mathord  x
-vartriangleright   msa          66   0 mathrel  x
-vartriangleleft    msa          67   0 mathrel  x
-trianglerighteq    msa          68   0 mathrel  x
-trianglelefteq     msa          69   0 mathrel  x
-rightsquigarrow    msa         195   0 mathrel  x
-leadsto            msa         195   0 mathrel  x
-lhd                msa          67   0 mathbin  x
-unlhd              msa          69   0 mathbin  x
-rhd                msa          66   0 mathbin  x
-unrhd              msa          68   0 mathbin  x
+yen                msa          85   0 mathord  &yen;
+checkmark          msa          88   0 mathord  &check;
+circledR           msa         114   0 mathord  &reg;
+maltese            msa         122   0 mathord  &malt;
+ulcorner           msa         112   0 mathopen  &ulcorn;
+urcorner           msa         113   0 mathclose  &urcorn;
+llcorner           msa         120   0 mathopen  &dlcorn;
+lrcorner           msa         121   0 mathclose  &drcorn;
+rightleftharpoons  msa         172   0 mathrel  &lrhar;
+angle              msa          92 208 mathord  &ang;
+sqsubset           msa          64   0 mathrel  &sqsub;
+sqsupset           msa          65   0 mathrel  &sqsup;
+mho                msb         102   0 mathord  &mho;
+square             msa         164   0 mathord  &square;
+Box                msa         164   0 mathord  &square;
+lozenge            msa         167   0 mathord  &loz;
+Diamond            msa         167   0 mathord  &diam;
+vartriangleright   msa          66   0 mathrel  &rtri;
+vartriangleleft    msa          67   0 mathrel  &ltri;
+trianglerighteq    msa          68   0 mathrel  &rtrie;
+trianglelefteq     msa          69   0 mathrel  &ltrie;
+rightsquigarrow    msa         195   0 mathrel  &rarrw;
+lhd                msa          67   0 mathbin  &ltri;
+unlhd              msa          69   0 mathbin  &ltrie;
+rhd                msa          66   0 mathbin  &rtri;
+unrhd              msa          68   0 mathbin  &rtrie;
 
 # Generated from amssymb.sty
 
-boxdot             msa         161   0 mathbin  x
-boxplus            msa         162   0 mathbin  x
-boxtimes           msa         163   0 mathbin  x
-blacksquare        msa         165   0 mathord  x
-centerdot          msa         166   0 mathbin  x
-blacklozenge       msa         168   0 mathord  x
-circlearrowright   msa         169   0 mathrel  x
-circlearrowleft    msa         170   0 mathrel  x
-leftrightharpoons  msa         174   0 mathrel  x
-boxminus           msa         175   0 mathbin  x
-Vdash              msa         176   0 mathrel  x
-Vvdash             msa         177   0 mathrel  x
-vDash              msa         178   0 mathrel  x
-twoheadrightarrow  msa         179   0 mathrel  x
-twoheadleftarrow   msa         180   0 mathrel  x
-leftleftarrows     msa         181   0 mathrel  x
-rightrightarrows   msa         182   0 mathrel  x
-upuparrows         msa         183   0 mathrel  x
-downdownarrows     msa         184   0 mathrel  x
-upharpoonright     msa         185   0 mathrel  x
-restriction        msa         185   0 mathrel  x
-downharpoonright   msa         186   0 mathrel  x
-upharpoonleft      msa         187   0 mathrel  x
-downharpoonleft    msa         188   0 mathrel  x
-rightarrowtail     msa         189   0 mathrel  x
-leftarrowtail      msa         190   0 mathrel  x
-leftrightarrows    msa         191   0 mathrel  x
-rightleftarrows    msa         192   0 mathrel  x
-Lsh                msa         193   0 mathrel  x
-Rsh                msa         194   0 mathrel  x
-leftrightsquigarrow msa         33   0 mathrel  x
-looparrowleft      msa          34   0 mathrel  x
-looparrowright     msa          35   0 mathrel  x
-circeq             msa          36   0 mathrel  x
-succsim            msa          37   0 mathrel  x
-gtrsim             msa          38   0 mathrel  x
-gtrapprox          msa          39   0 mathrel  x
-multimap           msa          40   0 mathrel  x
-therefore          msa          41  92 mathrel  x
-because            msa          42   0 mathrel  x
-doteqdot           msa          43   0 mathrel  x
-Doteq              msa          43   0 mathrel  x
-triangleq          msa          44   0 mathrel  x
-precsim            msa          45   0 mathrel  x
-lesssim            msa          46   0 mathrel  x
-lessapprox         msa          47   0 mathrel  x
-eqslantless        msa          48   0 mathrel  x
-eqslantgtr         msa          49   0 mathrel  x
-curlyeqprec        msa          50   0 mathrel  x
-curlyeqsucc        msa          51   0 mathrel  x
-preccurlyeq        msa          52   0 mathrel  x
-leqq               msa          53   0 mathrel  x
-leqslant           msa          54   0 mathrel  x
-lessgtr            msa          55   0 mathrel  x
-backprime          msa          56   0 mathord  x
-risingdotseq       msa          58   0 mathrel  x
-fallingdotseq      msa          59   0 mathrel  x
-succcurlyeq        msa          60   0 mathrel  x
-geqq               msa          61   0 mathrel  x
-geqslant           msa          62   0 mathrel  x
-gtrless            msa          63   0 mathrel  x
-bigstar            msa          70   0 mathord  x
-between            msa          71   0 mathrel  x
-blacktriangledown  msa          72   0 mathord  x
-blacktriangleright msa          73   0 mathrel  x
-blacktriangleleft  msa          74   0 mathrel  x
-vartriangle        msa          77   0 mathrel  x
-blacktriangle      msa          78   0 mathord  x
-triangledown       msa          79   0 mathord  x
-eqcirc             msa          80   0 mathrel  x
-lesseqgtr          msa          81   0 mathrel  x
-gtreqless          msa          82   0 mathrel  x
-lesseqqgtr         msa          83   0 mathrel  x
-gtreqqless         msa          84   0 mathrel  x
-Rrightarrow        msa          86   0 mathrel  x
-Lleftarrow         msa          87   0 mathrel  x
-veebar             msa          89   0 mathbin  x
-barwedge           msa          90   0 mathbin  x
-doublebarwedge     msa          91   0 mathbin  x
-measuredangle      msa          93   0 mathord  x
-sphericalangle     msa          94   0 mathord  x
-varpropto          msa          95   0 mathrel  x
-smallsmile         msa          96   0 mathrel  x
-smallfrown         msa          97   0 mathrel  x
-Subset             msa          98   0 mathrel  x
-Supset             msa          99   0 mathrel  x
-Cup                msa         100   0 mathbin  x
-doublecup          msa         100   0 mathbin  x
-Cap                msa         101   0 mathbin  x
-doublecap          msa         101   0 mathbin  x
-curlywedge         msa         102   0 mathbin  x
-curlyvee           msa         103   0 mathbin  x
-leftthreetimes     msa         104   0 mathbin  x
-rightthreetimes    msa         105   0 mathbin  x
-subseteqq          msa         106   0 mathrel  x
-supseteqq          msa         107   0 mathrel  x
-bumpeq             msa         108   0 mathrel  x
-Bumpeq             msa         109   0 mathrel  x
-lll                msa         110   0 mathrel  x
-llltr              msa         110   0 mathrel  x
-ggg                msa         111   0 mathrel  x
-gggtr              msa         111   0 mathrel  x
-circledS           msa         115   0 mathord  x
-pitchfork          msa         116   0 mathrel  x
-dotplus            msa         117   0 mathbin  x
-backsim            msa         118   0 mathrel  x
-backsimeq          msa         119   0 mathrel  x
-complement         msa         123   0 mathord  x
-intercal           msa         124   0 mathbin  x
-circledcirc        msa         125   0 mathbin  x
-circledast         msa         126   0 mathbin  x
-circleddash        msa         127   0 mathbin  x
-lvertneqq          msb         161   0 mathrel  x
-gvertneqq          msb         162   0 mathrel  x
-nleq               msb         163   0 mathrel  x
-ngeq               msb         164   0 mathrel  x
-nless              msb         165   0 mathrel  x
-ngtr               msb         166   0 mathrel  x
-nprec              msb         167   0 mathrel  x
-nsucc              msb         168   0 mathrel  x
-lneqq              msb         169   0 mathrel  x
-gneqq              msb         170   0 mathrel  x
-nleqslant          msb         173   0 mathrel  x
-ngeqslant          msb         174   0 mathrel  x
-lneq               msb         175   0 mathrel  x
-gneq               msb         176   0 mathrel  x
-npreceq            msb         177   0 mathrel  x
-nsucceq            msb         178   0 mathrel  x
-precnsim           msb         179   0 mathrel  x
-succnsim           msb         180   0 mathrel  x
-lnsim              msb         181   0 mathrel  x
-gnsim              msb         182   0 mathrel  x
-nleqq              msb         183   0 mathrel  x
-ngeqq              msb         184   0 mathrel  x
-precneqq           msb         185   0 mathrel  x
-succneqq           msb         186   0 mathrel  x
-precnapprox        msb         187   0 mathrel  x
-succnapprox        msb         188   0 mathrel  x
-lnapprox           msb         189   0 mathrel  x
-gnapprox           msb         190   0 mathrel  x
-nsim               msb         191   0 mathrel  x
-ncong              msb         192   0 mathrel  x
-diagup             msb         193   0 mathord  x
-diagdown           msb         194   0 mathord  x
-varsubsetneq       msb         195   0 mathrel  x
-varsupsetneq       msb          33   0 mathrel  x
-nsubseteqq         msb          34   0 mathrel  x
-nsupseteqq         msb          35   0 mathrel  x
-subsetneqq         msb          36   0 mathrel  x
-supsetneqq         msb          37   0 mathrel  x
-varsubsetneqq      msb          38   0 mathrel  x
-varsupsetneqq      msb          39   0 mathrel  x
-subsetneq          msb          40   0 mathrel  x
-supsetneq          msb          41   0 mathrel  x
-nsubseteq          msb          42   0 mathrel  x
-nsupseteq          msb          43   0 mathrel  x
-nparallel          msb          44   0 mathrel  x
-nmid               msb          45   0 mathrel  x
-nshortmid          msb          46   0 mathrel  x
-nshortparallel     msb          47   0 mathrel  x
-nvdash             msb          48   0 mathrel  x
-nVdash             msb          49   0 mathrel  x
-nvDash             msb          50   0 mathrel  x
-nVDash             msb          51   0 mathrel  x
-ntrianglerighteq   msb          52   0 mathrel  x
-ntrianglelefteq    msb          53   0 mathrel  x
-ntriangleleft      msb          54   0 mathrel  x
-ntriangleright     msb          55   0 mathrel  x
-nleftarrow         msb          56   0 mathrel  x
-nrightarrow        msb          57   0 mathrel  x
-nLeftarrow         msb          58   0 mathrel  x
-nRightarrow        msb          59   0 mathrel  x
-nLeftrightarrow    msb          60   0 mathrel  x
-nleftrightarrow    msb          61   0 mathrel  x
-divideontimes      msb          62   0 mathbin  x
-varnothing         msb          63   0 mathord  x
-nexists            msb          64   0 mathord  x
-Finv               msb          96   0 mathord  x
-Game               msb          97   0 mathord  x
-eth                msb         103   0 mathord  x
-eqsim              msb         104   0 mathrel  x
-beth               msb         105   0 mathord  x
-gimel              msb         106   0 mathord  x
-daleth             msb         107   0 mathord  x
-lessdot            msb         108   0 mathbin  x
-gtrdot             msb         109   0 mathbin  x
-ltimes             msb         110   0 mathbin  x
-rtimes             msb         111   0 mathbin  x
-shortmid           msb         112   0 mathrel  x
-shortparallel      msb         113   0 mathrel  x
-smallsetminus      msb         114   0 mathbin  x
-thicksim           msb         115   0 mathrel  x
-thickapprox        msb         116   0 mathrel  x
-approxeq           msb         117   0 mathrel  x
-succapprox         msb         118   0 mathrel  x
-precapprox         msb         119   0 mathrel  x
-curvearrowleft     msb         120   0 mathrel  x
-curvearrowright    msb         121   0 mathrel  x
-digamma            msb         122   0 mathord  x
-varkappa           msb         123   0 mathord  x
-Bbbk               msb         124   0 mathord  x
-hslash             msb         125   0 mathord  x
-hbar               msb         126   0 mathord  x
-backepsilon        msb         127   0 mathrel  x
-
-lyxbar             cmsy        161   0 mathord  x
-lyxeq              cmr          61   0 mathord  x
-lyxdabar           msa          57   0 mathord  x
-lyxright           msa          75   0 mathord  x
-lyxleft            msa          76   0 mathord  x
-
-male               wasy          26  0 x        x
-female             wasy          25  0 x        x
-currency           wasy          27  0 x        x
-phone              wasy          7   0 x        x
-recorder           wasy          6   0 x        x
-clock              wasy          28  0 x        x
-lightning          wasy          18  0 x        x
-pointer            wasy          9   0 x        x
-RIGHTarrow         wasy          17  0 x        x
-LEFTarrow          wasy          16  0 x        x
-UParrow            wasy          75  0 x        x
-DOWNarrow          wasy          76  0 x        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
-Square             wasy          50  0 x        x
-#CheckedBox         wasy          50\hss}\hbox{\wasyfamily\char8  0 x
-XBox               wasy          52  0 x        x
-hexagon            wasy          55  0 x        x
-pentagon           wasy          68  0 x        x
+boxdot             msa         161   0 mathbin  &sdotb;
+boxplus            msa         162   0 mathbin  &plusb;
+boxtimes           msa         163   0 mathbin  &timesb;
+blacksquare        msa         165   0 mathord  &block;
+centerdot          msa         166   0 mathbin  &squarf;
+blacklozenge       msa         168   0 mathord  &diams;
+circlearrowright   msa         169   0 mathrel  &orarr;
+circlearrowleft    msa         170   0 mathrel  &olarr;
+leftrightharpoons  msa         174   0 mathrel  &lrhar;
+boxminus           msa         175   0 mathbin  &minusb;
+Vdash              msa         176   0 mathrel  &Vdash;
+Vvdash             msa         177   0 mathrel  &Vvdash;
+vDash              msa         178   0 mathrel  &vDash;
+twoheadrightarrow  msa         179   0 mathrel  &Rarr;
+twoheadleftarrow   msa         180   0 mathrel  &Larr;
+leftleftarrows     msa         181   0 mathrel  &llarr;
+rightrightarrows   msa         182   0 mathrel  &rrarr;
+upuparrows         msa         183   0 mathrel  &uuarr;
+downdownarrows     msa         184   0 mathrel  &ddarr;
+upharpoonright     msa         185   0 mathrel  &uharr;
+restriction        msa         185   0 mathrel  &uharr;
+downharpoonright   msa         186   0 mathrel  &dharr;
+upharpoonleft      msa         187   0 mathrel  &uharl;
+downharpoonleft    msa         188   0 mathrel  &dharl;
+rightarrowtail     msa         189   0 mathrel  &rarrtl;
+leftarrowtail      msa         190   0 mathrel  &larrtl;
+leftrightarrows    msa         191   0 mathrel  &lrarr;
+rightleftarrows    msa         192   0 mathrel  &rlarr;
+Lsh                msa         193   0 mathrel  &lsh;
+Rsh                msa         194   0 mathrel  &rsh;
+leftrightsquigarrow msa         33   0 mathrel  &harrw;
+looparrowleft      msa          34   0 mathrel  &larrlp;
+looparrowright     msa          35   0 mathrel  &rarrlp;
+circeq             msa          36   0 mathrel  &cire;
+succsim            msa          37   0 mathrel  &scsim;
+gtrsim             msa          38   0 mathrel  &gsim;
+gtrapprox          msa          39   0 mathrel  &gap;
+multimap           msa          40   0 mathrel  &mumap;
+therefore          msa          41  92 mathrel  &there4;
+because            msa          42   0 mathrel  &becaus;
+doteqdot           msa          43   0 mathrel  &eDot;
+Doteq              msa          43   0 mathrel  &eDot;
+triangleq          msa          44   0 mathrel  &trie;
+precsim            msa          45   0 mathrel  &prsim;
+lesssim            msa          46   0 mathrel  &lsim;
+lessapprox         msa          47   0 mathrel  &lap;
+eqslantless        msa          48   0 mathrel  &els;
+eqslantgtr         msa          49   0 mathrel  &egs;
+curlyeqprec        msa          50   0 mathrel  &cuepr;
+curlyeqsucc        msa          51   0 mathrel  &cuesc;
+preccurlyeq        msa          52   0 mathrel  &prcue;
+leqq               msa          53   0 mathrel  &lE;
+leqslant           msa          54   0 mathrel  &les;
+lessgtr            msa          55   0 mathrel  &lg;
+backprime          msa          56   0 mathord  &bprime;
+risingdotseq       msa          58   0 mathrel  &erDot;
+fallingdotseq      msa          59   0 mathrel  &efDot;
+succcurlyeq        msa          60   0 mathrel  &sccue;
+geqq               msa          61   0 mathrel  &gE;
+geqslant           msa          62   0 mathrel  &ges;
+gtrless            msa          63   0 mathrel  &gl;
+bigstar            msa          70   0 mathord  &starf;
+between            msa          71   0 mathrel  &twixt;
+blacktriangledown  msa          72   0 mathord  &dtrif;
+blacktriangleright msa          73   0 mathrel  &rtrif;
+blacktriangleleft  msa          74   0 mathrel  &ltrif;
+vartriangle        msa          77   0 mathrel  &#x25b5;
+blacktriangle      msa          78   0 mathord  &utrif;
+triangledown       msa          79   0 mathord  &dtri;
+eqcirc             msa          80   0 mathrel  &ecir;
+lesseqgtr          msa          81   0 mathrel  &leg;
+gtreqless          msa          82   0 mathrel  &gel;
+lesseqqgtr         msa          83   0 mathrel  &lEg;
+gtreqqless         msa          84   0 mathrel  &gEl;
+Rrightarrow        msa          86   0 mathrel  &rAarr;
+Lleftarrow         msa          87   0 mathrel  &lAarr;
+veebar             msa          89   0 mathbin  &veebar;
+barwedge           msa          90   0 mathbin  &barwed;
+doublebarwedge     msa          91   0 mathbin  &Barwed;
+measuredangle      msa          93   0 mathord  &angmsd;
+sphericalangle     msa          94   0 mathord  &angsph;
+varpropto          msa          95   0 mathrel  &vprop;
+smallsmile         msa          96   0 mathrel  &ssmile;
+smallfrown         msa          97   0 mathrel  &sfrown;
+Subset             msa          98   0 mathrel  &Sub;
+Supset             msa          99   0 mathrel  &Sup;
+Cup                msa         100   0 mathbin  &Cup;
+doublecup          msa         100   0 mathbin  &Cup;
+Cap                msa         101   0 mathbin  &Cap;
+doublecap          msa         101   0 mathbin  &Cap;
+curlywedge         msa         102   0 mathbin  &cuwed;
+curlyvee           msa         103   0 mathbin  &cuvee;
+leftthreetimes     msa         104   0 mathbin  &lthree;
+rightthreetimes    msa         105   0 mathbin  &rthree;
+subseteqq          msa         106   0 mathrel  &subE;
+supseteqq          msa         107   0 mathrel  &supE;
+bumpeq             msa         108   0 mathrel  &bumpe;
+Bumpeq             msa         109   0 mathrel  &bump;
+lll                msa         110   0 mathrel  &Ll;
+llless             msa         110   0 mathrel  &Ll;
+ggg                msa         111   0 mathrel  &Gg;
+gggtr              msa         111   0 mathrel  &Gg;
+circledS           msa         115   0 mathord  &oS;
+pitchfork          msa         116   0 mathrel  &fork;
+dotplus            msa         117   0 mathbin  &plusdo;
+backsim            msa         118   0 mathrel  &bsim;
+backsimeq          msa         119   0 mathrel  &bsime;
+complement         msa         123   0 mathord  &comp;
+intercal           msa         124   0 mathbin  &intcal;
+circledcirc        msa         125   0 mathbin  &ocir;
+circledast         msa         126   0 mathbin  &oast;
+circleddash        msa         127   0 mathbin  &odash;
+lvertneqq          msb         161   0 mathrel  &lvnE;
+gvertneqq          msb         162   0 mathrel  &gvnE;
+nleq               msb         163   0 mathrel  &nle;
+ngeq               msb         164   0 mathrel  &nge;
+nless              msb         165   0 mathrel  &nlt;
+ngtr               msb         166   0 mathrel  &ngt;
+nprec              msb         167   0 mathrel  &npr;
+nsucc              msb         168   0 mathrel  &nsc;
+lneqq              msb         169   0 mathrel  &lnE;
+gneqq              msb         170   0 mathrel  &gnE;
+nleqslant          msb         172   0 mathrel  &nles;
+ngeqslant          msb         174   0 mathrel  &nges;
+lneq               msb         175   0 mathrel  &nle;
+gneq               msb         176   0 mathrel  &gne;
+npreceq            msb         177   0 mathrel  &nprcue;
+nsucceq            msb         178   0 mathrel  &nsccue;
+precnsim           msb         179   0 mathrel  &prnsim;
+succnsim           msb         180   0 mathrel  &scnsim;
+lnsim              msb         181   0 mathrel  &lnsim;
+gnsim              msb         182   0 mathrel  &gnsim;
+nleqq              msb         183   0 mathrel  &nlE;
+ngeqq              msb         184   0 mathrel  &ngE;
+precneqq           msb         185   0 mathrel  &prnE;
+succneqq           msb         186   0 mathrel  &scnE;
+precnapprox        msb         187   0 mathrel  &prnap;
+succnapprox        msb         188   0 mathrel  &scnap;
+lnapprox           msb         189   0 mathrel  &lnap;
+gnapprox           msb         190   0 mathrel  &gnap;
+nsim               msb         191   0 mathrel  &nsim;
+ncong              msb         192   0 mathrel  &ncong;
+diagup             msb         193   0 mathord  &#x2571;
+diagdown           msb         194   0 mathord  &#x2572;
+varsubsetneq       msb         195   0 mathrel  &vsubne;
+varsupsetneq       msb          33   0 mathrel  &vsupne;
+nsubseteqq         msb          34   0 mathrel  &nsube;
+nsupseteqq         msb          35   0 mathrel  &nsupe;
+subsetneqq         msb          36   0 mathrel  &nsubE;
+supsetneqq         msb          37   0 mathrel  &nsupE;
+varsubsetneqq      msb          38   0 mathrel  &vsubnE;
+varsupsetneqq      msb          39   0 mathrel  &vsupnE;
+subsetneq          msb          40   0 mathrel  &subne;
+supsetneq          msb          41   0 mathrel  &supne;
+nsubseteq          msb          42   0 mathrel  &nsube;
+nsupseteq          msb          43   0 mathrel  &nsupe;
+nparallel          msb          44   0 mathrel  &npar;
+nmid               msb          45   0 mathrel  &rnmid;
+nshortmid          msb          46   0 mathrel  &nsmid;
+nshortparallel     msb          47   0 mathrel  &nspar;
+nvdash             msb          48   0 mathrel  &nvdash;
+nVdash             msb          49   0 mathrel  &nVdash;
+nvDash             msb          50   0 mathrel  &nvDash;
+nVDash             msb          51   0 mathrel  &nVDash;
+ntrianglerighteq   msb          52   0 mathrel  &nrtrie;
+ntrianglelefteq    msb          53   0 mathrel  &nltrie;
+ntriangleleft      msb          54   0 mathrel  &nltri;
+ntriangleright     msb          55   0 mathrel  &nrtri;
+nleftarrow         msb          56   0 mathrel  &nlarr;
+nrightarrow        msb          57   0 mathrel  &nrarr;
+nLeftarrow         msb          58   0 mathrel  &nlArr;
+nRightarrow        msb          59   0 mathrel  &nrArr;
+nLeftrightarrow    msb          60   0 mathrel  &nhArr;
+nleftrightarrow    msb          61   0 mathrel  &nharr;
+divideontimes      msb          62   0 mathbin  &divonx;
+varnothing         msb          63   0 mathord  &emptyv;
+nexists            msb          64   0 mathord  &nexist;
+Finv               msb          96   0 mathord  &#x2132;
+Game               msb          97   0 mathord  &#x2141;
+eth                msb         103   0 mathord  &#x00F0;
+eqsim              msb         104   0 mathrel  &esim;
+beth               msb         105   0 mathord  &beth;
+gimel              msb         106   0 mathord  &gimel;
+daleth             msb         107   0 mathord  &daleth;
+lessdot            msb         108   0 mathbin  &ltdot;
+gtrdot             msb         109   0 mathbin  &gtdot;
+ltimes             msb         110   0 mathbin  &ltimes;
+rtimes             msb         111   0 mathbin  &rtimes;
+shortmid           msb         112   0 mathrel  &smid;
+shortparallel      msb         113   0 mathrel  &spar;
+smallsetminus      msb         114   0 mathbin  &ssetmn;
+thicksim           msb         115   0 mathrel  &thksim;
+thickapprox        msb         116   0 mathrel  &thkap;
+approxeq           msb         117   0 mathrel  &ape;
+succapprox         msb         118   0 mathrel  &scap;
+precapprox         msb         119   0 mathrel  &prap;
+curvearrowleft     msb         120   0 mathrel  &cularr;
+curvearrowright    msb         121   0 mathrel  &curarr;
+digamma            msb         122   0 mathord  &gammad;
+varkappa           msb         123   0 mathord  &kappav;
+# Note: Other blackboard symbols are in the same unicode range
+Bbbk               msb         124   0 mathord  &#x1d55c;
+hslash             msb         125   0 mathord  &plankv;
+hbar               msb         126   0 mathord  &planck;
+backepsilon        msb         127   0 mathrel  &bepsi;
+
+lyxbar             cmsy        161   0 mathord  &mdash;
+lyxeq              cmr          61   0 mathord  =
+lyxdabar           msa          57   0 mathord  &ndash;
+lyxright           msa          75   0 mathord  &rarr;
+lyxleft            msa          76   0 mathord  &larr;
+
+male               wasy          26  0 x        &male;
+female             wasy          25  0 x        &female;
+currency           wasy          27  0 textmode &curren; wasysym,amstext,lyxmathsym # works in text mode only (produces \oe in math mode)
+phone              wasy          7   0 textmode &phone;  wasysym,amstext,lyxmathsym # works in text mode only (produces \Upsilon in math mode)
+recorder           wasy          6   0 textmode &telrec; 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 &#x2607; 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 &#x25B6; wasysym,amstext,lyxmathsym # works in text mode only (produces \jmath in math mode)
+LEFTarrow          wasy          16  0 textmode &#x25C0; wasysym,amstext,lyxmathsym # works in text mode only (produces \imath in math mode)
+UParrow            wasy          75  0 textmode &#x25B2; wasysym,amstext,lyxmathsym # works in text mode only (produces K in math mode)
+DOWNarrow          wasy          76  0 textmode &#x25BC; wasysym,amstext,lyxmathsym # works in text mode only (produces L in math mode)
+AC                 wasy          58  0 textmode &#x223F; wasysym,amstext,lyxmathsym # works in text mode only
+\def\HF{\approx}                                         wasysym
+VHF                wasy          64  0 x        &#x224B; # triple tilde
+Square             wasy          50  0 x        &square;
+\def\CheckedBox{\Square\kern-13.4mu\checked}              wasysym
+XBox               wasy          52  0 x        &timesb;
+hexagon            wasy          55  0 x        &#x2b21;
+pentagon           wasy          68  0 x        &#x2b20;
 octagon            wasy          56  0 x        x
-varhexagon         wasy          57  0 x        x
-hexstar            wasy          65  0 x        x
-varhexstar         wasy          66  0 x        x
-davidsstar         wasy          67  0 x        x
-diameter           wasy          31  0 x        x
-invdiameter        wasy          21  0 x        x
-varangle           wasy          30  0 x        x
-wasylozenge        wasy          53  0 x        x
-kreuz              wasy          54  0 x        x
-smiley             wasy          44  0 x        x
-frownie            wasy          47  0 x        x
-blacksmiley        wasy          45  0 x        x
-sun                wasy          46  0 x        x
-checked            wasy          8   0 x        x
-bell               wasy          10  0 x        x
-eighthnote         wasy          11  0 x        x
-quarternote        wasy          12  0 x        x
-halfnote           wasy          13  0 x        x
-fullnote           wasy          14  0 x        x
-twonotes           wasy          15  0 x        x
-brokenvert         wasy          124 0 x        x
+varhexagon         wasy          57  0 x        &#x2b21;
+hexstar            wasy          65  0 x        &sext;
+varhexstar         wasy          66  0 x        &sext;
+davidsstar         wasy          67  0 x        &#x2721;
+diameter           wasy          31  0 x        &#x2300;
+invdiameter        wasy          21  0 x        x       # 2205 EMPTY SET and 2300 DIAMETER SIGN are similar but not quite right
+varangle           wasy          30  0 x        &angsph;
+wasylozenge        wasy          53  0 x        &#x2311;
+kreuz              wasy          54  0 x        &#x2720;
+smiley             wasy          44  0 x        &#x263A;
+frownie            wasy          47  0 x        &#x2639;
+blacksmiley        wasy          45  0 x        &#x263B;
+sun                wasy          46  0 x        &#x263C;
+checked            wasy          8   0 x        &#x2713;
+bell               wasy          10  0 x        &#x237E;
+eighthnote         wasy          11  0 x        &#x266E;
+quarternote        wasy          12  0 x        &#x2669;
+halfnote           wasy          13  0 x        &#x1d15e;
+fullnote           wasy          14  0 x        &#x1d15d;
+twonotes           wasy          15  0 x        &#x266B;
+brokenvert         wasy          124 0 x        &brvbar;
 ataribox           wasy          109 0 x        x
-wasytherefore      wasy          5   0 x        x
-Circle             wasy          35  0 x        x
-CIRCLE             wasy          32  0 x        x
+wasytherefore      wasy          5   0 x        &there4;
+Circle             wasy          35  0 x        &cir;
+CIRCLE             wasy          32  0 x        &#x25cF;
 Leftcircle         wasy          73  0 x        x
-LEFTCIRCLE         wasy          71  0 x        x
+LEFTCIRCLE         wasy          71  0 x        &#x25D6;
 Rightcircle        wasy          74  0 x        x
-RIGHTCIRCLE        wasy          72  0 x        x
-#LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
-#RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
+RIGHTCIRCLE        wasy          72  0 x        &#x25D7;
+\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
 #
 
-vernal             wasy          23  0 x        x
-ascnode            wasy          19  0 x        x
-descnode           wasy          20  0 x        x
-fullmoon           wasy          35  0 x        x
-newmoon            wasy          32  0 x        x
-leftmoon           wasy          36  0 x        x
-rightmoon          wasy          37  0 x        x
-astrosun           cmsy         175  0 mathbin  x
-mercury            wasy          39  0 x        x
-venus              wasy          25  0 x        x
-earth              wasy          38  0 x        x
-mars               wasy          26  0 x        x
-jupiter            wasy          88  0 x        x
-saturn             wasy          89  0 x        x
-uranus             wasy          90  0 x        x
-neptune            wasy          91  0 x        x
-pluto              wasy          92  0 x        x
+vernal             wasy          23  0 x        &#x2648;
+ascnode            wasy          19  0 x        &#x260A;
+descnode           wasy          20  0 x        &#x260B;
+fullmoon           wasy          35  0 x        &circ;
+newmoon            wasy          32  0 x        &#x25CF;
+leftmoon           wasy          36  0 x        &#x263E;
+rightmoon          wasy          37  0 x        &#x263D;
+astrosun           cmsy         175  0 mathbin  &#x2609; wasysym
+mercury            wasy          39  0 x        &#x263F;
+venus              wasy          25  0 x        &#x2640;
+earth              wasy          38  0 x        &#x2641;
+mars               wasy          26  0 x        &#x2642;
+jupiter            wasy          88  0 x        &#x2643;
+saturn             wasy          89  0 x        &#x2644;
+uranus             wasy          90  0 x        &#x2645;
+neptune            wasy          91  0 x        &#x2646;
+pluto              wasy          92  0 x        &#x2647;
 
 #
 # wasy zodiac
 #
-aries              wasy          23  0 x        x
-taurus             wasy          93  0 x        x
-gemini             wasy          94  0 x        x
-cancer             wasy          95  0 x        x
-leo                wasy          19  0 x        x
-virgo              wasy          96  0 x        x
-libra              wasy          97  0 x        x
-scorpio            wasy          98  0 x        x
-sagittarius        wasy          99  0 x        x
-capricornus        wasy          100 0 x        x
-aquarius           wasy          101 0 x        x
-pisces             wasy          102 0 x        x
-conjunction        wasy          86  0 x        x
-opposition         wasy          87  0 x        x
+aries              wasy          23  0 x        &#x2648;
+taurus             wasy          93  0 x        &#x2649;
+gemini             wasy          94  0 x        &#x264A;
+cancer             wasy          95  0 x        &#x264B;
+leo                wasy          19  0 x        &#x264C;
+virgo              wasy          96  0 x        &#x264D;
+libra              wasy          97  0 x        &#x264E;
+scorpio            wasy          98  0 x        &#x264F;
+sagittarius        wasy          99  0 x        &#x2650;
+capricornus        wasy          100 0 x        &#x2651;
+aquarius           wasy          101 0 x        &#x2652;
+pisces             wasy          102 0 x        &#x2653;
+conjunction        wasy          86  0 textmode &#x260C; wasysym,amstext,lyxmathsym # works in text mode only (produces V in math mode)
+opposition         wasy          87  0 textmode &#x260D; wasysym,amstext,lyxmathsym # works in text mode only (produces W in math mode)
 # APL characters
-APLstar            wasy          69  0 x        x
+APLstar            wasy          69  0 x        &#x235F;
 APLlog             wasy          22  0 x        x
-APLbox             wasy          126 0 x        x
+APLbox             wasy          126 0 x        &#x2395;
 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}}
-APLuparrowbox      wasy         110  0 x        x
-APLdownarrowbox    wasy         111  0 x        x
-APLleftarrowbox    wasy         112  0 x        x
-APLrightarrowbox   wasy         113  0 x        x
+\def\APLinv{\div\kern-17.9mu\APLbox}                       wasysym
+APLuparrowbox      wasy         110  0 x        &#x2350;
+APLdownarrowbox    wasy         111  0 x        &#x2357;
+APLleftarrowbox    wasy         112  0 x        &#x2347;
+APLrightarrowbox   wasy         113  0 x        &#x2348;
 
 # math characters
-Bowtie             wasy          49  0 x        x
-leftturn           wasy          34  0 x        x
-rightturn          wasy          33  0 x        x
+Bowtie             wasy          49  0 x        &#x22C8;
+leftturn           wasy          34  0 x        &#x27F2;
+rightturn          wasy          33  0 x        &#x27F3;
 # 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        x
-permil             wasy         104   0 x        x
-agemO              wasy          48   0 x        x
-thorn              wasy         105   0 x        x
-Thorn              wasy         106   0 x        x
-openo              wasy         108   0 x        x
-inve               wasy          85   0 x        x
-
-#mho               wasy          48    0  mathord x
-#Join              wasy          49    0  mathrel x
-#Box               wasy          50    0  mathord x
-#Diamond           wasy          51    0  mathord x
-leadsto            wasy          59    0  mathrel x
-#sqsubset          wasy          60    0  mathrel x
-#sqsupset          wasy          61    0  mathrel x
-#lhd               wasy           1    0  mathbin x
-#unlhd             wasy           2    0  mathbin x
-LHD                wasy          16    0  mathbin x
-#rhd               wasy           3    0  mathbin x
-#unrhd             wasy           4    0  mathbin x
-RHD                wasy          17    0  mathbin x
-apprle             wasy          62    0  mathrel x
-apprge             wasy          63    0  mathrel x
-wasypropto         wasy          29    0  mathrel x
-invneg             wasy          24    0  mathrel x
-ocircle            wasy          35    0  mathbin x
+cent               wasy         103   0 x        &#00A2;
+permil             wasy         104   0 x        &#x2030;
+agemO              wasy          48   0 textmode &mho;    wasysym,amstext,lyxmathsym # works in text mode only (produces 0 in math mode)
+thorn              wasy         105   0 textmode &#x00FE; wasysym,amstext,lyxmathsym # works in text mode only (produces i in math mode)
+Thorn              wasy         106   0 textmode &#x00DE; wasysym,amstext,lyxmathsym # works in text mode only (produces j in math mode)
+openo              wasy         108   0 textmode &#x0254; wasysym,amstext,lyxmathsym # works in text mode only (produces l in math mode)
+inve               wasy          85   0 textmode &#x0259; wasysym,amstext,lyxmathsym # works in text mode only (produces U in math mode)
+
+#mho               wasy          48    0  mathord &mho;    wasysym # already in amsfonts
+#Join              wasy          49    0  mathrel x        wasysym # already in amsfonts
+#Box               wasy          50    0  mathord &square; wasysym # already in amsfonts
+#Diamond           wasy          51    0  mathord &diam;   wasysym # already in amsfonts
+leadsto            wasy          59    0  mathrel &rarrc;
+#sqsubset          wasy          60    0  mathrel &sqsub;  wasysym # already in amsfonts
+#sqsupset          wasy          61    0  mathrel &sqsup;  wasysym # already in amsfonts
+#lhd               wasy           1    0  mathbin &ltri;   wasysym # already in amsfonts
+#unlhd             wasy           2    0  mathbin &ltrie;  wasysym # already in amsfonts
+LHD                wasy          16    0  mathbin &#x2C50;
+#rhd               wasy           3    0  mathbin &rtri;   wasysym # already in amsfonts
+#unrhd             wasy           4    0  mathbin &rtrie;  wasysym # already in amsfonts
+RHD                wasy          17    0  mathbin &#x25B6;
+apprle             wasy          62    0  mathrel &lsim;
+apprge             wasy          63    0  mathrel &gsim;
+wasypropto         wasy          29    0  mathrel &prop;
+invneg             wasy          24    0  mathrel &#x2310;
+ocircle            wasy          35    0  mathbin &#x229A;
 logof              wasy          22    0  mathrel x
-varint             wasy         114    0  mathop  x
-varoint            wasy         117    0  mathop  x
+varint             wasy         114    0  mathop  &int;
+varoint            wasy         117    0  mathop  &int;
+
+# 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
+arrownot           stmry  88   0 mathrel    x  stmaryrd
+Arrownot           stmry  89   0 mathrel    x  stmaryrd
+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{c\kern-14mu\varbigcirc}                   stmaryrd
+\def\longarrownot{\kern5.5mu\arrownot\kern-5.5mu}           stmaryrd
+\def\Longarrownot{\kern5.5mu\Arrownot\kern-5.5mu}           stmaryrd
+\def\Mapsto{\Mapstochar\kern-9mu\Rightarrow}                stmaryrd
+\def\mapsfrom{\leftarrow\kern-9mu\mapsfromchar}             stmaryrd
+\def\Mapsfrom{\Leftarrow\kern-9mu\Mapsfromchar}             stmaryrd
+\def\Longmapsto{\Mapstochar\kern-7mu\Longrightarrow}        stmaryrd
+\def\longmapsfrom{\longleftarrow\kern-7mu\mapsfromchar}     stmaryrd
+\def\Longmapsfrom{\Longleftarrow\kern-7mu\Mapsfromchar}     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
+
+sbond              cmsy        161   0 mathord  x
+dbond              cmr          61   0 mathord  x
+tbond              cmsy        180 186 mathord  x
 
 # From the esint package:
 # We emulate some symbols if the esint10 font is not available.
@@ -770,47 +997,52 @@ varoint            wasy         117    0  mathop  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  &int;  esint
-intop              esint        001    0  mathop  &int;  esint
-iint               esint        003    0  mathop  x      esintoramsmath
-iintop             esint        003    0  mathop  x      esint
-iiint              esint        005    0  mathop  x      esintoramsmath
-iiintop            esint        005    0  mathop  x      esint
-iiiint             esint        007    0  mathop  x      esintoramsmath
-iiiintop           esint        007    0  mathop  x      esint
-oint               esint        011    0  mathop  x      esint
-ointop             esint        011    0  mathop  x      esint
-oiint              esint        013    0  mathop  x      esint
-oiintop            esint        013    0  mathop  x      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  x      esint
-dotsintop          esint        019    0  mathop  x      esint
-ointctrclockwise   esint        023    0  mathop  x      esint
-ointctrclockwiseop esint        023    0  mathop  x      esint
-ointclockwise      esint        025    0  mathop  x      esint
-ointclockwiseop    esint        025    0  mathop  x      esint
+int                esint        001    0  mathop  &int;         esint|amsmath
+intop              esint        001    0  mathop  &int;         esint
+iint               esint        003    0  mathop  &Int;         esint|amsmath
+iintop             esint        003    0  mathop  &Int;         esint
+iiint              esint        005    0  mathop  &tint;        esint|amsmath
+
+iiintop            esint        005    0  mathop  &tint;        esint
+iiiint             esint        007    0  mathop  &qint;        esint|amsmath
+
+iiiintop           esint        007    0  mathop  &qint;        esint
+oint               esint        011    0  mathop  &conint;      esint
+
+ointop             esint        011    0  mathop  &conint;      esint
+oiint              esint        013    0  mathop  &Conint;      esint
+oiintop            esint        013    0  mathop  &Conint;      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  &int;&ctdot;&int; esint
+dotsintop          esint        019    0  mathop  &int;&ctdot;&int; esint
+ointctrclockwise   esint        023    0  mathop  &awconint;    esint
+ointctrclockwiseop esint        023    0  mathop  &awconint;    esint
+ointclockwise      esint        025    0  mathop  &cwconint;    esint
+ointclockwiseop    esint        025    0  mathop  &cwconint;    esint
 else
-int                cmex          82  242  mathop  &int;  esint
-intop              cmex          82  242  mathop  &int;  esint
-iint               wasy         115    0  mathop  x      esintoramsmath
-iintop             wasy         115    0  mathop  x      esint
-iiint              wasy         116    0  mathop  x      esintoramsmath
-iiintop            wasy         116    0  mathop  x      esint
-\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int}        esintoramsmath
+int                cmex          82  242  mathop  &int;         esint|amsmath
+intop              cmex          82  242  mathop  &int;         esint
+iint               wasy         115    0  mathop  &Int;         esint|amsmath
+iintop             wasy         115    0  mathop  &Int          esint
+iiint              wasy         116    0  mathop  &tint;        esint|amsmath
+
+iiintop            wasy         116    0  mathop  &tint;        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
-oint               cmex          72    0  mathop  x      esint
-ointop             cmex          72    0  mathop  x      esint
-oiint              wasy         118    0  mathop  x      esint
-oiintop            wasy         118    0  mathop  x      esint
+oint               cmex          72    0  mathop  &conint;      esint
+
+ointop             cmex          72    0  mathop  &conint;      esint
+oiint              wasy         118    0  mathop  &Conint;      esint
+oiintop            wasy         118    0  mathop  &Conint;      esint
 \def\sqint{\square\kern-17mu\int\kern6mu}                       esint
 \def\sqintop{\square\kern-17mu\int\kern6mu}                     esint
 \def\sqiint{\square\kern-20mu\iint\kern3mu}                     esint
@@ -821,22 +1053,22 @@ oiintop            wasy         118    0  mathop  x      esint
 \def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu}   esint
 endif
 
-varointclockwise   esint        027    0  mathop  x      esint
-varointclockwiseop esint        027    0  mathop  x      esint
-varointctrclockwise esint       029    0  mathop  x      esint
-varointctrclockwiseop esint     029    0  mathop  x      esint
-fint               esint        031    0  mathop  x      esint
-fintop             esint        031    0  mathop  x      esint
-varoiint           esint        033    0  mathop  x      esint
-varoiintop         esint        033    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
+varointclockwise   esint        027    0  mathop  &cwconint;    esint
+varointclockwiseop esint        027    0  mathop  &cwconint;    esint
+varointctrclockwise esint       029    0  mathop  &awconint;    esint
+varointctrclockwiseop esint     029    0  mathop  &awconint;    esint
+fint               esint        031    0  mathop  &#x2a0f;      esint
+fintop             esint        031    0  mathop  &#x2a0f;      esint
+varoiint           esint        033    0  mathop  &Conint;      esint
+varoiintop         esint        033    0  mathop  &Conint;      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
@@ -871,17 +1103,40 @@ 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\kern-10.9mu\vcentcolon} mathrel ::       mathtools
+\def\coloneqq{\vcentcolon\kern-11.2mu=}           mathrel &#x2254; mathtools
+\def\Coloneqq{\dblcolon\kern-11.2mu=}             mathrel ::=      mathtools
+\def\coloneq{\vcentcolon\kern-11.2mu-}            mathrel :-       mathtools
+\def\Coloneq{\dblcolon\kern-11.2mu-}              mathrel ::-      mathtools
+\def\eqqcolon{=\kern-11.2mu\vcentcolon}           mathrel &#x2255; mathtools
+\def\Eqqcolon{=\kern-11.2mu\dblcolon}             mathrel =::      mathtools
+\def\eqcolon{-\kern-11.2mu\vcentcolon}            mathrel -:       mathtools
+\def\Eqcolon{-\kern-11.2mu\dblcolon}              mathrel -::      mathtools
+\def\colonapprox{\vcentcolon\kern-11.2mu\approx}  mathrel :&ap;    mathtools
+\def\Colonapprox{\dblcolon\kern-11.2mu\approx}    mathrel ::&ap;   mathtools
+\def\colonsim{\vcentcolon\kern-11.2mu\sim}        mathrel :&sim;   mathtools
+\def\Colonsim{\dblcolon\kern-11.2mu\sim}          mathrel ::&sim;  mathtools
 
 
 #
 # pre-defined macros
 #
 
-\def\neq{\not=}
-\def\ne{\not=}
-\def\notin{\not\in}
+\def\leq{\le}                                                   mathrel &le;
+\def\geq{\ge}                                                   mathrel &ge;
+\def\neq{\not=}                                                 mathrel &ne;
+\def\ne{\not=}                                                  mathrel &ne;
+\def\lnot{\neg}                                                 mathord &not;
+\def\notin{\not\in}                                             mathrel &notin;
 \def\slash{/}
 
 \def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow}
@@ -890,42 +1145,53 @@ bmod               lyxblacktext  0   0 func     x
 \def\doteq{\stackrel{\cdot}{=}}
 
 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{\lyxbar\kern-11mu\rightarrow}               mathrel &xrarr;
+\def\longleftarrow{\leftarrow\kern-11mu\lyxbar}                 mathrel &xlarr;
+\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}               mathrel &#x27F9;
+\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}                 mathrel &#x27F8;
+\def\implies{\Longrightarrow}                                   mathrel &#x27F9; amsmath
+\def\impliedby{\Longleftarrow}                                  mathrel &#x27F8; amsmath
+\def\mapsto{\mapstochar\kern-9mu\rightarrow}                    mathrel &#x21A4;
+\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow} mathrel &#x27FB;
+\def\models{\vert\kern-3mu\lyxeq}                               mathrel &vDash;
+else
+\def\implies{=>}                                                mathrel &#x27F9; 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\kern-12mu\rightarrow}                mathrel &#x21AA;
+\def\hookleftarrow{\leftarrow\kern-12mu\rhook}                  mathrel &#x21A9;
+\def\bowtie{\triangleright\kern-10mu\triangleleft}              mathrel &#x22C8;
 endif
 iffont msa
-\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
-\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
-\def\dasharrow{\dashrightarrow}
+\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}                mathrel &#x290F; amssymb
+\def\dashleftarrow{\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{\ltimes\kern-22mu\rtimes}                             amssymb
+else
+\def\Join{|x|}                                                  amssymb
 endif
 # Fixme: latin-1 chars in text file
-\def\AA{\AA}{Å}
-\def\O{\O}{Ø}
+\def\AA{\AA}{Å} textmode &Aring;  amstext,lyxmathsym
+\def\O{\O}{Ø}   textmode &Oslash; amstext,lyxmathsym
 
 iffont cmsy
 # The \sim is placed too high...
-\def\cong{\stackrel{_\sim}{=}}
-lyxsurd               cmsy        112 0 mathord  x
-\def\surd{^\lyxsurd}
-\def\textdegree{\kern-1mu^{\circ}\kern-4mu}
+\def\cong{\stackrel{_\sim}{=}}                                  mathrel &cong;
+lyxsurd               cmsy        112 0 mathord  &radic;
+\def\surd{^\lyxsurd}                                            mathord &radic;
+\def\textdegree{\kern-1mu^{\circ}\kern-4mu} textmode &deg; textcomp,amstext,lyxmathsym
 else
-cong               lyxsymbol             64  0 mathrel  x
-surd               lyxsymbol             214 0 mathord  x
-textdegree         lyxsymbol             176 0 mathord  x
+# 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; textcomp,amstext,lyxmathsym
 endif
 
 #"{\hat{}}