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:
Available stretched versions (starting precedence is 8):