X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fsymbols;h=8b9ecaae21f94cc2dcb61b7b6401ed4c04fa9056;hb=98c966c64594611e469313314abd1e59524adb4a;hp=0925fb1030bc49857e9bab1ec94356383e3225d5;hpb=2e865ef2a527e79baa1b587aea5a9a2fa7ec17cd;p=lyx.git

diff --git a/lib/symbols b/lib/symbols
index 0925fb1030..8b9ecaae21 100644
--- 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