Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter.
`yi`
`ho`
This operator is available for functors with multiple parameters:
Available stretched versions: