X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=bc37f9683f7fa978192c8f970004c13aa112444e;hb=8c96de553bc0850495e2e29469aa585ff95d3e0a;hp=5b0b9e5dba4593fb0ab741378104bf2b7c2baa63;hpb=90c5920f8c9874a52f15857d1be5b16126d3bded;p=lyx.git

diff --git a/lib/symbols b/lib/symbols
index 5b0b9e5dba..bc37f9683f 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -30,6 +30,7 @@ widehat             decoration none
 widetilde           decoration none
 
 # dots
+dots              dots        none
 cdots             dots        none
 ddots             dots        none
 dotsb             dots        none
@@ -82,6 +83,7 @@ bmatrix           matrix      none
 matrix            matrix      none
 pmatrix           matrix      none
 psmatrix          matrix      none
+smallmatrix       matrix      none
 vmatrix           matrix      none
 CD                matrix      none
 
@@ -114,6 +116,7 @@ scriptscriptstyle style       3
 begin             begin       none
 right             right       none
 underset          underset    none
+overset           overset     none
 parbox            parbox      none
 protect           protect     none
 mbox              mbox        forcetext
@@ -151,7 +154,7 @@ 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          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
@@ -199,9 +202,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
@@ -285,8 +289,8 @@ 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         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
@@ -347,13 +351,15 @@ 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          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
@@ -505,7 +511,7 @@ 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          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
@@ -699,8 +705,8 @@ 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
+#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
@@ -755,6 +761,7 @@ exp                lyxblacktext  0   0 func     x
 Pr                 lyxblacktext  0   0 funclim  x
 gcd                lyxblacktext  0   0 funclim  x
 deg                lyxblacktext  0   0 func     x
+bmod               lyxblacktext  0   0 func     x
 
 {                  mathnormal    0   0 special  x
 }                  mathnormal    0   0 special  x
@@ -769,25 +776,29 @@ $                  mathnormal    0   0 special  x
 # pre-defined macros
 #
 
+\def\neq{\not=}
+\def\ne{\not=}
 \def\notin{\not\in}
 \def\slash{/}
 
-\def\longleftrightarrow{\leftarrow\kern-15mu\rightarrow} 
-\def\Longleftrightarrow{\Leftarrow\kern-15mu\Rightarrow}
+\def\longleftrightarrow{\leftarrow\kern-12.5mu\rightarrow} 
+\def\Longleftrightarrow{\Leftarrow\kern-12.5mu\Rightarrow}
+\def\iff{\Leftarrow\kern-12.5mu\Rightarrow}
 \def\doteq{\stackrel{\cdot}{=}}
 
 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{\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-11mu\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
@@ -798,13 +809,19 @@ endif
 iffont msb
 \def\Join{\ltimes\kern-18.5mu\rtimes}
 endif
-\def\mathcircumflex{\mbox{\^{}}}
+\def\mathcircumflex{\mbox{\^{}}}{\^}
 
-neq                lyxsymbol             185 0 mathrel  x
-ne                 lyxsymbol             185 0 mathrel  x
 textdegree         lyxsymbol             176 0 mathord  x
+
+iffont cmsy
+# The \sim is placed too high...
+\def\cong{\stackrel{_\sim}{=}}
+lyxsurd               cmsy        112 0 mathord  x
+\def\surd{^\lyxsurd}
+else
 cong               lyxsymbol             64  0 mathrel  x
 surd               lyxsymbol             214 0 mathord  x
-                               
+endif
+                         
 #"{\hat{}}