+% {>}{{$>$}}1
+% {<}{{$<$}}1
+% {<=}{{$\leq$}}1
+% {>=}{{$\geq$}}1
+% {<>}{{$\neq$}}1
+% {->}{{$\rightarrow$}}2
+% {<-}{{$\leftarrow$}}1
+% {=}{{$=$}}1
+% {~}{{$\sim$}}1
+% {\#}{{$\sharp$}}1
+% {\{|}{{$\{\!|\!$}}1
+% {|\}}{{$\!|\!\}$}}1
+% {:=}{{$:=$}}2
+% {==}{{$==$}}2
+% {++}{{$+\!\!+$}}2
+% {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+% {:==}{{$:==$}}3