Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object equipped with a small hook `kx` designating source co-Kleisli category.
`yi`
`hu`
`kx`