small bullet changes

[lyx.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index 01ff8611fb786080205c47b74b7a9652a9ae3e58..88f81f47ab9e58354a863ce3cbd577d136add9db 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -82,6 +82,7 @@ bmatrix           matrix      none
 matrix            matrix      none
 pmatrix           matrix      none
 psmatrix          matrix      none
+smallmatrix       matrix      none
 vmatrix           matrix      none
 CD                matrix      none
 
@@ -199,9 +200,10 @@ spadesuit          cmsy        127 170 mathord  x
 # We define lyxnot as mathrel in order to have proper alignment
 lyxnot             cmsy         54  47 mathrel  x
 iffont cmsy
-\def\not{\lyxnot\kern-12mu}
+# 9mu = 0.5em which is the extra space added to relation operators
+\def\not{\lyxnot\kern-9mu}
 else
-\def\not{\lyxnot\kern-20mu}
+\def\not{\kern4mu\lyxnot\kern-19mu}
 endif
 coprod             cmex         96   0 mathop   x
 bigvee             cmex         87   0 mathop   x
@@ -698,7 +700,7 @@ openo              wasy         108   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
@@ -769,25 +771,28 @@ $                  mathnormal    0   0 special  x
 # pre-defined macros
 #
 
+\def\neq{\not=}
 \def\notin{\not\in}
 \def\slash{/}
 
-\def\longleftrightarrow{\leftarrow\kern-15mu\rightarrow} 
-\def\Longleftrightarrow{\Leftarrow\kern-15mu\Rightarrow}
-\def\doteq{\stackrel{\cdot}{\=}}
+\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-11mu\rightarrow}
-\def\longleftarrow{\leftarrow\kern-11mu\lyxbar}
-\def\Longrightarrow{\lyxeq\kern-9mu\Rightarrow}
-\def\Longleftarrow{\Leftarrow\kern-9mu\lyxeq}
-\def\mapsto{\mapstochar\kern-12mu\rightarrow}
-\def\longmapsto{\mapstochar\kern-9mu\lyxbar\kern-11mu\rightarrow}
-\def\models{\vert\kern-7.5mu\lyxeq}
+\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\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-13mu\rightarrow}
-\def\hookleftarrow{\leftarrow\kern-13mu\rhook}
+\def\hookrightarrow{\lhook\kern-12mu\rightarrow}
+\def\hookleftarrow{\leftarrow\kern-12mu\rhook}
 \def\bowtie{\triangleright\kern-6mu\triangleleft}
 endif
 iffont msa
@@ -796,11 +801,10 @@ iffont msa
 \def\dasharrow{\dashrightarrow}
 endif
 iffont msb
-\def\Join{\ltimes\kern-12mu\rtimes}
+\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