-% {>}{{$>$}}1
-% {<}{{$<$}}1
-% {<=}{{$\leq$}}1
-% {>=}{{$\geq$}}1
-% {<>}{{$\neq$}}1
-% {->}{{$\rightarrow$}}2
-% {<-}{{$\leftarrow$}}1
-% {=}{{$=$}}1
-% {~}{{$\sim$}}1
-% {\#}{{$\sharp$}}1
-% {\{|}{{$\{\!|\!$}}1
-% {|\}}{{$\!|\!\}$}}1
-% {:=}{{$:=$}}2
-% {==}{{$==$}}2
-% {++}{{$+\!\!+$}}2
-% {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-% {:==}{{$:==$}}3
-% {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
- %
- % Basic iTask constructs
-% {>||>}{{$\triangleright\triangleright$}}2
-% {>>=}{{\texttt{>>=}}}3
-% {>>|}{{\texttt{>>|}}}3
-% {?>>}{{\texttt{?>>}}}3
-% {!>>}{{\texttt{!>>}}}3
-% {-||-}{{\texttt{-||-}}}4
-% {.||.}{{\texttt{.||.}}}4
-% {.&&.}{{\texttt{.\&\&.}}}4