Precedence: 7
`ysp` - [Y]oneda, [S]um and [Product]How to read: apply a monoidal natural transformation with sum + product target category.
Looks like a circle with an combination of addition and multiplication symbols inside.
`ysp` : u (t e) (t ee) -> t (e `S` ee `S_` e `P` ee)