fix typo that put too many include paths for most people

[lyx.git] / lib / symbols

diff --git a/lib/symbols b/lib/symbols
index 0925fb1030bc49857e9bab1ec94356383e3225d5..8b9ecaae21f94cc2dcb61b7b6401ed4c04fa9056 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -71,7 +71,7 @@ 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  x
+int                cmex  82 242 mathop  ∫
 prod               cmex  81 213 mathop  x
 sum                cmex  80 229 mathop  x
 bigotimes          cmex  78   0 mathop  x
@@ -160,7 +160,7 @@ lhook              cmm   44   0 mathrel  x
 rhook              cmm   45   0 mathrel  x
 ldotp              cmm   58   0 mathpunct  x
 cdotp              cmsy 162   0 mathpunct  x
-colon              cmr   58   0 mathpunct  x
+colon              cmr   58  58 mathpunct  x
 arrowvert          cmsy 106   0 mathord  x
 Arrowvert          cmsy 107   0 mathord  x
 Vert               cmsy 107   0 mathord  x