From: André Pönitz <poenitz@gmx.net>
Date: Thu, 11 Jul 2002 15:37:39 +0000 (+0000)
Subject: add \not as symbol
X-Git-Tag: 1.6.10~18899
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=909a6315921a49565828b5d2b5a232dd96645fc9;p=features.git

add \not as symbol


git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@4608 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/lib/symbols b/lib/symbols
index 3bf846f295..daa655ca70 100644
--- a/lib/symbols
+++ b/lib/symbols
@@ -178,21 +178,22 @@ clubsuit           cmsy        124 167 mathord  x
 diamondsuit        cmsy        125 168 mathord  x
 heartsuit          cmsy        126 169 mathord  x
 spadesuit          cmsy        127 170 mathord  x
-coprod             cmex         96   0 mathop  x
-bigvee             cmex         87   0 mathop  x
-bigwedge           cmex         86   0 mathop  x
-biguplus           cmex         85   0 mathop  x
-bigcap             cmex         84   0 mathop  x
-bigcup             cmex         83   0 mathop  x
-int                cmex         82 242 mathop  &int;
-prod               cmex         81 213 mathop  x
-sum                cmex         80 229 mathop  x
-bigotimes          cmex         78   0 mathop  x
-bigoplus           cmex         76   0 mathop  x
-bigodot            cmex         74   0 mathop  x
-oint               cmex         72   0 mathop  x
-bigsqcup           cmex         70   0 mathop  x
-smallint           cmsy        115   0 mathop  x
+not                cmsy         54   0 mathord  x
+coprod             cmex         96   0 mathop   x
+bigvee             cmex         87   0 mathop   x
+bigwedge           cmex         86   0 mathop   x
+biguplus           cmex         85   0 mathop   x
+bigcap             cmex         84   0 mathop   x
+bigcup             cmex         83   0 mathop   x
+int                cmex         82 242 mathop   &int;
+prod               cmex         81 213 mathop   x
+sum                cmex         80 229 mathop   x
+bigotimes          cmex         78   0 mathop   x
+bigoplus           cmex         76   0 mathop   x
+bigodot            cmex         74   0 mathop   x
+oint               cmex         72   0 mathop   x
+bigsqcup           cmex         70   0 mathop   x
+smallint           cmsy        115   0 mathop   x
 triangleleft       cmm          47   0 mathbin  x
 triangleright      cmm          46   0 mathbin  x
 bigtriangleup      cmsy         52   0 mathbin  x