Looks like a big circle `yi` with a bullet point `ho` inside designating covariant position of a focused parameter equipped with a small hook `kx` designating source co-Kleisli category.
`yi`
`ho`
`kx`