Я ☞ Operators ☞ yr

Precedence: 7

`yr` - [Y]oneda, [R]ather

How to read: apply a monoidal natural transformation with Rather target tensor.

Looks like a circle with an combination of addition and multiplication symbols inside.

`yr` : u (t e) (t ee) -> t (e `S` ee `S_` e `P` ee)