!

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

-

:<:

:=

:≺:

<~

=?>

>>

@>

@?>

@@

^

|-->

|>=|

~

~/

~>

~~>

∨

⊤

⊥