/Я language (β)/Operators/yur/

Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object equipped with a wand `xr` designating Representing object.

This operator is available for functors with multiple parameters:

Available stretched versions (starting precedence is 7):