X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=bc37f9683f7fa978192c8f970004c13aa112444e;hb=8c96de553bc0850495e2e29469aa585ff95d3e0a;hp=88f81f47ab9e58354a863ce3cbd577d136add9db;hpb=9babb4a5f9416ceb1d37bbfb7deb4e5ff37ebc9e;p=lyx.git

diff --git a/lib/symbols b/lib/symbols
index 88f81f47ab..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
@@ -115,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
@@ -152,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
@@ -287,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
@@ -349,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
@@ -507,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
@@ -701,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
@@ -757,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
@@ -772,22 +777,23 @@ $                  mathnormal    0   0 special  x
 #
 
 \def\neq{\not=}
+\def\ne{\not=}
 \def\notin{\not\in}
 \def\slash{/}
 
-\def\longleftrightarrow{\leftarrow\kern-12mu\rightarrow} 
-\def\Longleftrightarrow{\Leftarrow\kern-12mu\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}{=}}
 
-# 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{\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}
 \def\mapsto{\mapstochar\kern-9mu\rightarrow}
-\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-9.5mu\rightarrow}
+\def\longmapsto{\mapstochar\kern-6mu\lyxbar\kern-11mu\rightarrow}
 \def\models{\vert\kern-7mu\lyxeq}
 endif
 iffont cmm
@@ -803,12 +809,19 @@ endif
 iffont msb
 \def\Join{\ltimes\kern-18.5mu\rtimes}
 endif
-\def\mathcircumflex{\mbox{\^{}}}
+\def\mathcircumflex{\mbox{\^{}}}{\^}
 
-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{}}