widetilde decoration none
# dots
+dots dots none
cdots dots none
ddots dots none
dotsb dots none
vdots dots none
# font changes
+# name "font" math/text family series shape color
+# mathnormal should stay the first
+mathnormal font mathmode inherit medium up math
frak font mathmode
mathbb font mathmode
mathbf font mathmode
mathcal font mathmode
mathfrak font mathmode
mathit font mathmode
-mathnormal font mathmode
mathrm font mathmode
mathsf font mathmode
mathtt font mathmode
+textnormal font textmode inherit medium up math
text font textmode
textbf font textmode
textipa font textmode
textit font textmode
textmd font textmode
textrm font textmode
+textsc font textmode
textsl font textmode
+textsf font textmode
texttt font textmode
textup font textmode
+emph font textmode
+noun font textmode
# old-style font commands
bf oldfont none
tt oldfont none
# matrix environments
+Bmatrix matrix none
Vmatrix matrix none
bmatrix matrix none
matrix matrix none
pmatrix matrix none
psmatrix matrix none
+smallmatrix matrix none
vmatrix matrix none
+CD matrix none
# references
pageref ref none
# spaces
lyxnegspace space none
lyxposspace space none
-qquad space none
-quad space none
+! space none
+negmedspace space none
+negthickspace space none
, space none
: space none
; space none
-! space none
+quad space none
+qquad space none
# styles
displaystyle style 0
upsilon cmm 192 117 mathord x
phi cmm 193 102 mathord x
chi cmm 194 99 mathord x
-psi cmm 32 121 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
diamondsuit cmsy 125 168 mathord x
heartsuit cmsy 126 169 mathord x
spadesuit cmsy 127 170 mathord x
-not cmsy 54 0 mathord x
+# We define lyxnot as mathrel in order to have proper alignment
+lyxnot cmsy 54 47 mathrel x
+iffont cmsy
+# 9mu = 0.5em which is the extra space added to relation operators
+\def\not{\lyxnot\kern-9mu}
+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
gg cmsy 192 0 mathrel x
ll cmsy 191 0 mathrel x
leftrightarrow cmsy 36 171 mathrel x
-leftarrow cmsy 32 172 mathrel x
-gets cmsy 32 172 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
mapstochar cmsy 55 0 mathrel x
vartriangleleft msa 67 0 mathrel x
trianglerighteq msa 68 0 mathrel x
trianglelefteq msa 69 0 mathrel x
-rightsquigarrow msa 32 0 mathrel x
-leadsto msa 32 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
ncong msb 192 0 mathrel x
diagup msb 193 0 mathord x
diagdown msb 194 0 mathord x
-varsubsetneq msb 32 0 mathrel 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
taurus wasy 93 0 x x
gemini wasy 94 0 x x
cancer wasy 95 0 x x
-leo wasy 19
+leo wasy 19 0 x x
virgo wasy 96 0 x x
libra wasy 97 0 x x
scorpio wasy 98 0 x x
pisces wasy 102 0 x x
conjunction wasy 86 0 x x
opposition wasy 87 0 x x
-% APL characters
+# APL characters
APLstar wasy 69 0 x x
APLlog wasy 22 0 x x
APLbox wasy 126 0 x x
inve wasy 85 0 x x
#mho wasy 48 0 mathord x
-Join wasy 49 0 mathrel 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
# pre-defined macros
#
-\def\longleftrightarrow{\leftarrow\kern-2mm\rightarrow}
-\def\Longleftrightarrow{\Leftarrow\kern-2mm\Rightarrow}
-\def\doteq{\stackrel{\cdot}{\=}}
-\def\longrightarrow{\lyxbar\kern-2mm\rightarrow}
-\def\longleftarrow{\leftarrow\kern-2mm\lyxbar}
-\def\mapsto{\mapstochar\kern-2mm\rightarrow}
-\def\longmapsto{\mapstochar\kern-2mm\lyxbar\kern-6mu\rightarrow}
-\def\Longrightarrow{\lyxeq\kern-2mm\Rightarrow}
-\def\Longleftarrow{\Leftarrow\kern-2mm\lyxeq}
-\def\models{\vert\kern-2mm\lyxeq}
-\def\hookrightarrow{\lhook\kern-2mm\rightarrow}
-\def\hookleftarrow{\leftarrow\kern-2mm\rhook}
-\def\bowtie{\triangleright\kern-2mm\triangleleft}
+\def\neq{\not=}
+\def\notin{\not\in}
+\def\slash{/}
+
+\def\longleftrightarrow{\leftarrow\kern-12mu\rightarrow}
+\def\Longleftrightarrow{\Leftarrow\kern-12mu\Rightarrow}
+\def\doteq{\stackrel{\cdot}{=}}
+
+# The value 9.5 comes from the length of 0.5em = 9mu that is added to
+# relation operators. The 0.5 is added due to rounding errors.
+iffont cmsy
+\def\longrightarrow{\lyxbar\kern-9.5mu\rightarrow}
+\def\longleftarrow{\leftarrow\kern-9.5mu\lyxbar}
+\def\Longrightarrow{\lyxeq\kern-9.5mu\Rightarrow}
+\def\Longleftarrow{\Leftarrow\kern-9.5mu\lyxeq}
+\def\implies{\Longrightarrow}
+\def\mapsto{\mapstochar\kern-9mu\rightarrow}
+\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-9.5mu\rightarrow}
+\def\models{\vert\kern-7mu\lyxeq}
+endif
+iffont cmm
+\def\hookrightarrow{\lhook\kern-12mu\rightarrow}
+\def\hookleftarrow{\leftarrow\kern-12mu\rhook}
+\def\bowtie{\triangleright\kern-6mu\triangleleft}
+endif
+iffont msa
\def\dashrightarrow{\lyxdabar\lyxdabar\lyxright}
\def\dashleftarrow{\lyxleft\lyxdabar\lyxdabar}
\def\dasharrow{\dashrightarrow}
-\def\Join{\ltimes\kern-2mm\rtimes}
+endif
+iffont msb
+\def\Join{\ltimes\kern-18.5mu\rtimes}
+endif
\def\mathcircumflex{\mbox{\^{}}}
-neq lyxsymbol 185 0 mathrel x
ne lyxsymbol 185 0 mathrel x
textdegree lyxsymbol 176 0 mathord x
cong lyxsymbol 64 0 mathrel x