Fixity declaration for `_⇨′_`