#
# 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.
+#
+# 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
#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
#
lrcorner msa 121 0 mathclose ⌟
rightleftharpoons msa 173 0 mathrel ⇋
angle msa 92 208 mathord ∠
-hbar msb 126 0 mathord ℏ
sqsubset msa 64 0 mathrel ⊏
sqsupset msa 65 0 mathrel ⊐
mho msb 102 0 mathord ℧
square msa 164 0 mathord □
Box msa 164 0 mathord □
lozenge msa 167 0 mathord ◊
-Diamond msa 167 0 mathord xdiam;
+Diamond msa 167 0 mathord ⋄
vartriangleright msa 66 0 mathrel ▹
vartriangleleft msa 67 0 mathrel ◃
trianglerighteq msa 68 0 mathrel ⊵
trianglelefteq msa 69 0 mathrel ⊴
rightsquigarrow msa 195 0 mathrel ↝
-# This may not be right, but is the closest I can find.
-leadsto msa 195 0 mathrel ⤳
lhd msa 67 0 mathbin ◃
unlhd msa 69 0 mathbin ⊴
rhd msa 66 0 mathbin ▹
bumpeq msa 108 0 mathrel ≏
Bumpeq msa 109 0 mathrel ≎
lll msa 110 0 mathrel ⋘
-llltr msa 110 0 mathrel ⋘
+llless msa 110 0 mathrel ⋘
ggg msa 111 0 mathrel ⋙
gggtr msa 111 0 mathrel ⋙
circledS msa 115 0 mathord Ⓢ
male wasy 26 0 x ♂
female wasy 25 0 x ♀
-currency wasy 27 0 x ¤
-phone wasy 7 0 x ☎
-recorder wasy 6 0 x ⌕
-clock wasy 28 0 x &clock;
+currency wasy 27 0 textmode ¤ wasysym # works in text mode only (produces \oe in math mode)
+phone wasy 7 0 textmode ☎ wasysym # works in text mode only (produces \Upsilon in math mode)
+recorder wasy 6 0 textmode ⌕ wasysym # works in text mode only (produces \Sigma in math mode)
+clock wasy 28 0 textmode &clock; wasysym # works in text mode only (produces \o in math mode)
lightning wasy 18 0 x ☇
-pointer wasy 9 0 x x
-RIGHTarrow wasy 17 0 x ▶
-LEFTarrow wasy 16 0 x ◀
-UParrow wasy 75 0 x ▲
-DOWNarrow wasy 76 0 x ▼
-#AC wasy n0.5pt\wasyfamily\char58\kern0.5pt}}
-#HF {\leavevmode
-# \lower0.9pt\hbox to 0pt{\kern0.5pt\wasyfamily\char58\hss}%
-# \raise0.9pt\hbox{\kern0.5pt\wasyfamily\char58\kern0.5pt}}
-#VHF wasy 64 0 x x
+# FIXME Display is wrong (bug 8493): qt does not display characters at the \t position (0x09)
+pointer wasy 9 0 textmode x wasysym # works in text mode only (produces \Psi in math mode)
+RIGHTarrow wasy 17 0 textmode ▶ wasysym # works in text mode only (produces \jmath in math mode)
+LEFTarrow wasy 16 0 textmode ◀ wasysym # works in text mode only (produces \imath in math mode)
+UParrow wasy 75 0 textmode ▲ wasysym # works in text mode only (produces K in math mode)
+DOWNarrow wasy 76 0 textmode ▼ wasysym # works in text mode only (produces L in math mode)
+AC wasy 58 0 textmode x wasysym # works in text mode only
+\def\HF{\approx} wasysym
+VHF wasy 64 0 x x
Square wasy 50 0 x □
-#CheckedBox wasy 50\hss}\hbox{\wasyfamily\char8 0 x
+\def\CheckedBox{\Square\kern-0.8em\checked} wasysym
XBox wasy 52 0 x ⊠
hexagon wasy 55 0 x ⬡
pentagon wasy 68 0 x ⬠
LEFTCIRCLE wasy 71 0 x ◖
Rightcircle wasy 74 0 x x
RIGHTCIRCLE wasy 72 0 x ◗
-#LEFTcircle {\hbox to 0pt{\wasyfamily\char71\hss}\hbox{\wasyfamily\char35}}
-#RIGHTcircle{\hbox to 0pt{\wasyfamily\char72\hss}\hbox{\wasyfamily\char35}}
+\def\LEFTcircle{\LEFTCIRCLE\kern-1em\Circle} wasysym
+\def\RIGHTcircle{\RIGHTCIRCLE\kern-1em\Circle} wasysym
# Defined by amsmath.sty
newmoon wasy 32 0 x ●
leftmoon wasy 36 0 x ☾
rightmoon wasy 37 0 x ☽
-astrosun cmsy 175 0 mathbin ☉
+astrosun cmsy 175 0 mathbin ☉ wasysym
mercury wasy 39 0 x ☿
venus wasy 25 0 x ♀
earth wasy 38 0 x ♁
capricornus wasy 100 0 x ♑
aquarius wasy 101 0 x ♒
pisces wasy 102 0 x ♓
-conjunction wasy 86 0 x ☌
-opposition wasy 87 0 x ☍
+conjunction wasy 86 0 textmode ☌ wasysym # works in text mode only (produces V in math mode)
+opposition wasy 87 0 textmode ☍ wasysym # works in text mode only (produces W in math mode)
# APL characters
APLstar wasy 69 0 x ⍟
APLlog wasy 22 0 x x
APLdown wasy 70 0 x x
APLinput wasy 125 0 x x
APLcomment wasy 127 0 x x
-#APLinv {{\hbox to 0pt{$\div$\hss}\APLbox}}
+\def\APLinv{\div\kern-17mu\APLbox} wasysym
APLuparrowbox wasy 110 0 x ⍐
APLdownarrowbox wasy 111 0 x ⍗
APLleftarrowbox wasy 112 0 x ⍇
leftturn wasy 34 0 x ⟲
rightturn wasy 33 0 x ⟳
# diagrams
-#photon wasy 58\char58\char58\char58}}
-#gluon wasy 81\char80\char80\char80%
-#char80\char80\char80\char82}}
+\def\photon{\AC\kern-3mu\AC\kern-3mu\AC\kern-3mu\AC} wasysym
+lyxgluonelement wasy 80 0 x x notexisting
+lyxgluonbelement wasy 81 0 x x notexisting
+lyxgluoneelement wasy 82 0 x x notexisting
+\def\gluon{\lyxgluonbelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluonelement\kern-3mu\lyxgluoneelement} wasysym
# special characters
cent wasy 103 0 x �A2;
permil wasy 104 0 x ‰
-agemO wasy 48 0 x ℧
-thorn wasy 105 0 x þ
-Thorn wasy 106 0 x Þ
-openo wasy 108 0 x ɔ
-inve wasy 85 0 x ə
-
-mho wasy 48 0 mathord ℧
-#Join wasy 49 0 mathrel x
-#Box wasy 50 0 mathord x
-#Diamond wasy 51 0 mathord x
-leadsto wasy 59 0 mathrel ⤳
-sqsubset wasy 60 0 mathrel ⊏
-sqsupset wasy 61 0 mathrel ⊐
-#lhd wasy 1 0 mathbin x
-#unlhd wasy 2 0 mathbin x
+agemO wasy 48 0 textmode ℧ wasysym # works in text mode only (produces 0 in math mode)
+thorn wasy 105 0 textmode þ wasysym # works in text mode only (produces i in math mode)
+Thorn wasy 106 0 textmode Þ wasysym # works in text mode only (produces j in math mode)
+openo wasy 108 0 textmode ɔ wasysym # works in text mode only (produces l in math mode)
+inve wasy 85 0 textmode ə wasysym # works in text mode only (produces U in math mode)
+
+#mho wasy 48 0 mathord ℧ wasysym # already in amsfonts
+#Join wasy 49 0 mathrel x wasysym # already in amsfonts
+#Box wasy 50 0 mathord □ wasysym # already in amsfonts
+#Diamond wasy 51 0 mathord ⋄ wasysym # already in amsfonts
+leadsto wasy 59 0 mathrel ⤳
+#sqsubset wasy 60 0 mathrel ⊏ wasysym # already in amsfonts
+#sqsupset wasy 61 0 mathrel ⊐ wasysym # already in amsfonts
+#lhd wasy 1 0 mathbin ◃ wasysym # already in amsfonts
+#unlhd wasy 2 0 mathbin ⊴ wasysym # already in amsfonts
LHD wasy 16 0 mathbin ⱐ
-#rhd wasy 3 0 mathbin x
-#unrhd wasy 4 0 mathbin x
+#rhd wasy 3 0 mathbin ▹ wasysym # already in amsfonts
+#unrhd wasy 4 0 mathbin ⊵ wasysym # already in amsfonts
RHD wasy 17 0 mathbin ▶
apprle wasy 62 0 mathrel ≲
apprge wasy 63 0 mathrel ≳
varint wasy 114 0 mathop ∫
varoint wasy 117 0 mathop ∫
+# Generated from stmaryrd.sty
+
+shortleftarrow stmry 0 0 mathrel x stmaryrd
+shortrightarrow stmry 1 0 mathrel x stmaryrd
+shortuparrow stmry 2 0 mathrel x stmaryrd
+shortdownarrow stmry 3 0 mathrel x stmaryrd
+Yup stmry 4 0 mathbin x stmaryrd
+Ydown stmry 5 0 mathbin x stmaryrd
+Yleft stmry 6 0 mathbin x stmaryrd
+Yright stmry 7 0 mathbin x stmaryrd
+varcurlyvee stmry 8 0 mathbin x stmaryrd
+# qt does not display characters at the \t position (0x09)
+# therefore our .ttf font contains a copy at 254 (0xfe)
+#varcurlywedge stmry 9 0 mathbin x stmaryrd
+varcurlywedge stmry 254 0 mathbin x stmaryrd
+minuso stmry 10 0 mathbin x stmaryrd
+baro stmry 11 0 mathbin x stmaryrd
+sslash stmry 12 0 mathbin x stmaryrd
+bbslash stmry 13 0 mathbin x stmaryrd
+moo stmry 14 0 mathbin x stmaryrd
+varotimes stmry 15 0 mathbin x stmaryrd
+varoast stmry 16 0 mathbin x stmaryrd
+varobar stmry 17 0 mathbin x stmaryrd
+varodot stmry 18 0 mathbin x stmaryrd
+varoslash stmry 19 0 mathbin x stmaryrd
+varobslash stmry 20 0 mathbin x stmaryrd
+varocircle stmry 21 0 mathbin x stmaryrd
+varoplus stmry 22 0 mathbin x stmaryrd
+varominus stmry 23 0 mathbin x stmaryrd
+boxast stmry 24 0 mathbin x stmaryrd
+boxbar stmry 25 0 mathbin x stmaryrd
+#boxdot stmry 26 0 mathbin x stmaryrd # already in amssymb
+boxslash stmry 27 0 mathbin x stmaryrd
+boxbslash stmry 28 0 mathbin x stmaryrd
+boxcircle stmry 29 0 mathbin x stmaryrd
+boxbox stmry 30 0 mathbin x stmaryrd
+boxempty stmry 31 0 mathbin x stmaryrd
+#lightning stmry 32 0 mathord x stmaryrd # already in wasy
+merge stmry 33 0 mathbin x stmaryrd
+vartimes stmry 34 0 mathbin x stmaryrd
+fatsemi stmry 35 0 mathbin x stmaryrd
+sswarrow stmry 36 0 mathrel x stmaryrd
+ssearrow stmry 37 0 mathrel x stmaryrd
+curlywedgeuparrow stmry 38 0 mathrel x stmaryrd
+curlywedgedownarrow stmry 39 0 mathrel x stmaryrd
+fatslash stmry 40 0 mathbin x stmaryrd
+fatbslash stmry 41 0 mathbin x stmaryrd
+lbag stmry 42 0 mathbin x stmaryrd
+rbag stmry 43 0 mathbin x stmaryrd
+varbigcirc stmry 44 0 mathbin x stmaryrd
+leftrightarroweq stmry 45 0 mathrel x stmaryrd
+curlyveedownarrow stmry 46 0 mathrel x stmaryrd
+curlyveeuparrow stmry 47 0 mathrel x stmaryrd
+nnwarrow stmry 48 0 mathrel x stmaryrd
+nnearrow stmry 49 0 mathrel x stmaryrd
+leftslice stmry 50 0 mathbin x stmaryrd
+rightslice stmry 51 0 mathbin x stmaryrd
+varolessthan stmry 52 0 mathbin x stmaryrd
+varogreaterthan stmry 53 0 mathbin x stmaryrd
+varovee stmry 54 0 mathbin x stmaryrd
+varowedge stmry 55 0 mathbin x stmaryrd
+talloblong stmry 56 0 mathbin x stmaryrd
+interleave stmry 57 0 mathbin x stmaryrd
+obar stmry 58 0 mathbin x stmaryrd
+obslash stmry 59 0 mathbin x stmaryrd
+olessthan stmry 60 0 mathbin x stmaryrd
+ogreaterthan stmry 61 0 mathbin x stmaryrd
+ovee stmry 62 0 mathbin x stmaryrd
+owedge stmry 63 0 mathbin x stmaryrd
+oblong stmry 64 0 mathbin x stmaryrd
+inplus stmry 65 0 mathrel x stmaryrd
+niplus stmry 66 0 mathrel x stmaryrd
+nplus stmry 67 0 mathbin x stmaryrd
+subsetplus stmry 68 0 mathrel x stmaryrd
+supsetplus stmry 69 0 mathrel x stmaryrd
+subsetpluseq stmry 70 0 mathrel x stmaryrd
+supsetpluseq stmry 71 0 mathrel x stmaryrd
+Lbag stmry 72 0 mathopen x stmaryrd
+Rbag stmry 73 0 mathclose x stmaryrd
+llbracket stmry 74 0 mathopen x stmaryrd
+rrbracket stmry 75 0 mathclose x stmaryrd
+llparenthesis stmry 76 0 mathopen x stmaryrd
+rrparenthesis stmry 77 0 mathclose x stmaryrd
+binampersand stmry 78 0 mathopen x stmaryrd
+bindnasrepma stmry 79 0 mathclose x stmaryrd
+trianglelefteqslant stmry 80 0 mathrel x stmaryrd
+trianglerighteqslant stmry 81 0 mathrel x stmaryrd
+ntrianglelefteqslant stmry 82 0 mathrel x stmaryrd
+ntrianglerighteqslant stmry 83 0 mathrel x stmaryrd
+llfloor stmry 84 0 mathopen x stmaryrd
+rrfloor stmry 85 0 mathclose x stmaryrd
+llceil stmry 86 0 mathopen x stmaryrd
+rrceil stmry 87 0 mathclose x stmaryrd
+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
# If the wasysym integrals are really wanted then one has to load the package
# manually and disable automatic loading of amsmath and esint.
iffont esint
-int esint 001 0 mathop ∫ esint
-intop esint 001 0 mathop ∫ esint
+int esint 001 0 mathop ∫ esint
+intop esint 001 0 mathop ∫ esint
iint esint 003 0 mathop ∬ esint|amsmath
-iintop esint 003 0 mathop ∬ esint
+iintop esint 003 0 mathop ∬ esint
iiint esint 005 0 mathop ∭ esint|amsmath
-iiintop esint 005 0 mathop ∭ esint
+iiintop esint 005 0 mathop ∭ esint
iiiint esint 007 0 mathop ⨌ esint|amsmath
-iiiintop esint 007 0 mathop ⨌ esint
+iiiintop esint 007 0 mathop ⨌ esint
oint esint 011 0 mathop ∮ esint
ointop esint 011 0 mathop ∮ esint
oiint esint 013 0 mathop ∯ esint
oiintop esint 013 0 mathop ∯ esint
-sqint esint 015 0 mathop x esint
-sqintop esint 015 0 mathop x esint
-sqiint esint 017 0 mathop x esint
-sqiintop esint 017 0 mathop x esint
-dotsint esint 019 0 mathop ∫⋯∫ esint
-dotsintop esint 019 0 mathop ∫⋯∫ esint
-ointctrclockwise esint 023 0 mathop ∳ esint
-ointctrclockwiseop esint 023 0 mathop ∳ esint
-ointclockwise esint 025 0 mathop ∲ esint
-ointclockwiseop esint 025 0 mathop ∲ esint
+sqint esint 015 0 mathop x esint
+sqintop esint 015 0 mathop x esint
+sqiint esint 017 0 mathop x esint
+sqiintop esint 017 0 mathop x esint
+dotsint esint 019 0 mathop ∫⋯∫ esint
+dotsintop esint 019 0 mathop ∫⋯∫ esint
+ointctrclockwise esint 023 0 mathop ∳ esint
+ointctrclockwiseop esint 023 0 mathop ∳ esint
+ointclockwise esint 025 0 mathop ∲ esint
+ointclockwiseop esint 025 0 mathop ∲ esint
else
-int cmex 82 242 mathop ∫ esint
-intop cmex 82 242 mathop ∫ esint
+int cmex 82 242 mathop ∫ esint
+intop cmex 82 242 mathop ∫ esint
iint wasy 115 0 mathop ∬ esint|amsmath
-iintop wasy 115 0 mathop &Int esint
+iintop wasy 115 0 mathop &Int esint
iiint wasy 116 0 mathop ∭ esint|amsmath
-iiintop wasy 116 0 mathop ∭ esint
+iiintop wasy 116 0 mathop ∭ esint
\def\iiiint{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esint|amsmath
\def\iiiintop{\int\kern-6mu\int\kern-6mu\int\kern-6mu\int} esint
\def\dotsint{\int\kern-3mu\cdots\kern-3mu\int} esint
\def\ointclockwiseop{\circlearrowright\kern-21mu\int\kern6mu} esint
endif
-varointclockwise esint 027 0 mathop ∲ esint
-varointclockwiseop esint 027 0 mathop ∲ esint
-varointctrclockwise esint 029 0 mathop ∳ esint
-varointctrclockwiseop esint 029 0 mathop ∳ esint
+varointclockwise esint 027 0 mathop ∲ esint
+varointclockwiseop esint 027 0 mathop ∲ esint
+varointctrclockwise esint 029 0 mathop ∳ esint
+varointctrclockwiseop esint 029 0 mathop ∳ esint
fint esint 031 0 mathop ⨏ esint
fintop esint 031 0 mathop ⨏ esint
varoiint esint 033 0 mathop ∯ esint
varoiintop esint 033 0 mathop ∯ esint
-landupint esint 035 0 mathop x esint
-landupintop esint 035 0 mathop x esint
-landdownint esint 037 0 mathop x esint
-landdownintop esint 037 0 mathop x esint
+landupint esint 035 0 mathop x esint
+landupintop esint 035 0 mathop x esint
+landdownint esint 037 0 mathop x esint
+landdownintop esint 037 0 mathop x esint
# From the amsmath package:
-\def\idotsint{\int\kern-3mu\cdots\kern-3mu\int} amsmath
+\def\idotsint{\int\kern-3mu\cdots\kern-3mu\int} amsmath
log lyxblacktext 0 0 func x
# mathtools.sty
-# no automatic loading without file format change
-\def\vcentcolon{\kern4mu:\kern3mu}
-\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon}
-\def\coloneqq{\vcentcolon\kern-7mu=}
-\def\Coloneqq{\dblcolon\kern-7mu=}
-\def\coloneq{\vcentcolon\kern-7mu-}
-\def\Coloneq{\dblcolon\kern-7mu-}
-\def\eqqcolon{=\kern-8mu\vcentcolon}
-\def\Eqqcolon{=\kern-8mu\dblcolon}
-\def\eqcolon{-\kern-8mu\vcentcolon}
-\def\Eqcolon{-\kern-8mu\dblcolon}
-\def\colonapprox{\vcentcolon\kern-7mu\approx}
-\def\Colonapprox{\dblcolon\kern-7mu\approx}
-\def\colonsim{\vcentcolon\kern-7mu\sim}
-\def\Colonsim{\dblcolon\kern-7mu\sim}
+\def\vcentcolon{\kern4mu:\kern3mu} mathtools
+\def\dblcolon{\vcentcolon\kern-8mu\vcentcolon} mathtools
+\def\coloneqq{\vcentcolon\kern-7mu=} mathtools
+\def\Coloneqq{\dblcolon\kern-7mu=} mathtools
+\def\coloneq{\vcentcolon\kern-7mu-} mathtools
+\def\Coloneq{\dblcolon\kern-7mu-} mathtools
+\def\eqqcolon{=\kern-8mu\vcentcolon} mathtools
+\def\Eqqcolon{=\kern-8mu\dblcolon} mathtools
+\def\eqcolon{-\kern-8mu\vcentcolon} mathtools
+\def\Eqcolon{-\kern-8mu\dblcolon} mathtools
+\def\colonapprox{\vcentcolon\kern-7mu\approx} mathtools
+\def\Colonapprox{\dblcolon\kern-7mu\approx} mathtools
+\def\colonsim{\vcentcolon\kern-7mu\sim} mathtools
+\def\Colonsim{\dblcolon\kern-7mu\sim} mathtools
#
\def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
-\def\implies{\Longrightarrow} amsmath
+\def\implies{\Longrightarrow} amsmath
+\def\impliedby{\Longleftarrow} amsmath
\def\mapsto{\mapstochar\kern-9mu\rightarrow}
\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
\def\models{\vert\kern-7mu\lyxeq}
+else
+\def\implies{=>} amsmath
+\def\impliedby{<=} amsmath
endif
iffont cmm
\def\hookrightarrow{\lhook\kern-12mu\rightarrow}
\def\bowtie{\triangleright\kern-6mu\triangleleft}
endif
iffont msa
-\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
-\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
-\def\dasharrow{\dashrightarrow}
+\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright} amssymb
+\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar} amssymb
+else
+\def\dashrightarrow{- - \rightarrow} amssymb
+\def\dashleftarrow{\leftarrow{} - -} amssymb
endif
+\def\dasharrow{\dashrightarrow} amssymb
iffont msb
-\def\Join{\ltimes\kern-18.5mu\rtimes}
+\def\Join{\ltimes\kern-18.5mu\rtimes} amssymb
+else
+\def\Join{|x|} amssymb
endif
# Fixme: latin-1 chars in text file
\def\AA{\AA}{Å}