Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped.
`yi`
`ho`
Original mapping of derived functor definition:
Available stretched versions (starting precedence is 8):