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 ∫ -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 ∫ +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