:<:
cats
:≺:
cats
<->
IsEqArrow
~>
cats
⊤
cats
⊥
cats