:<:
free
:≺:
free
~>
cats
⊤
cats
⊥
cats