!

!!

!==

!===

&&

***If you see this message this means that you've forgotten an operator after the description string: you should write "example" >> result ***

+

-

::

:<:

:=

:≺:

<

<->

<<

<=

<==>

<|

<~

==/

===

====

==>

=?>

>

>=

>>

>|

@>

@?>

@@

[

\

\>

\>~

\\

]

^

^^

^^^

_1

_2

|

|-->

|>

|>=|

||

~

~/

~>

~~>

¬

∨

⊤

⊥