%%=
MonocleLensOps
+=
MonocleLensOps
:=
MonocleLensOps
~>
cats
⊤
cats
⊥
cats