From 13ec304e1627bac626fd504bac1f6ca84b4bdedf Mon Sep 17 00:00:00 2001
From: Dekel Tsur <dekelts@tau.ac.il>
Date: Mon, 28 Oct 2002 10:39:56 +0000
Subject: [PATCH] Update file.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5528 a592a061-630c-0410-9148-cb99ea01b6c8
---
 lib/symbols | 31 +++++++++++++++++--------------
 1 file changed, 17 insertions(+), 14 deletions(-)

diff --git a/lib/symbols b/lib/symbols
index 5b0b9e5dba..25d01b03e3 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -199,9 +199,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
@@ -769,25 +770,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\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
@@ -800,7 +804,6 @@ iffont msb
 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
-- 
2.39.5