diff --git a/lib/symbols b/lib/symbols
index 0925fb1030..6092d0b7f0 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