Looks like an empty smalll circle `ha` designating contravariant position of a focused parameter.
`ha`
It's an alias of yai operator since Hom functor is contravariant by 1/2 argument.
Available stretched versions: