Move duplicated symbols to the macro section

[features.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index 5e1e9437d30aa9e7e48520fdab56da559df13732..5cc63a1fa2d0777e95b8eabdd933bbd913fa37cc 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -280,7 +280,6 @@ triangle           cmsy         52   0 mathord  ▵
 forall             cmsy         56  34 mathord  ∀
 exists             cmsy         57  36 mathord  ∃
 neg                cmsy         58 216 mathord  ¬
-lnot               cmsy         58 216 mathord  ¬
 flat               cmm          91   0 mathord  ♭
 natural            cmm          92   0 mathord  ♮
 sharp              cmm          93  35 mathord  ♯
@@ -359,9 +358,7 @@ swarrow            cmsy         46   0 mathrel  ↙
 Leftrightarrow     cmsy         44 219 mathrel  ↔
 Leftarrow          cmsy         40 220 mathrel  ⇐
 Rightarrow         cmsy         41 222 mathrel  ⇒
-leq                cmsy        183 163 mathrel  ≤
 le                 cmsy        183 163 mathrel  ≤
-geq                cmsy        184 179 mathrel  ≥
 ge                 cmsy        184 179 mathrel  ≥
 succ               cmsy        194   0 mathrel  ≻
 prec               cmsy        193   0 mathrel  ≺
@@ -1123,8 +1120,11 @@ pod                lyxblacktext  0   0 func     x     amsmath
 # pre-defined macros
 #
 
+\def\leq\le                                                     mathrel ≤
+\def\geq\ge                                                     mathrel ≥
 \def\neq{\not=}                                                 mathrel ≠
 \def\ne{\not=}                                                  mathrel ≠
+\def\lnot\neg                                                   mathord ¬
 \def\notin{\not\in}
 \def\slash{/}