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