Looks like a bullet point `ho` inside designating covariant position of a focused parameter equipped with a wand `xr` designating Representing object.
`ho`
`xr`
Basically it's an alias of Yoneda covariant functor with another parameter as a Representing object:
Available stretched versions (starting precedence is 8):