-->
Looks like an empty smalll circle `ho` designating covariant position of a focused parameter.
`ho`
It's an alias of yio operator since Hom functor is covariant by 2/2 argument.
Available stretched versions: