Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object.
`yi`
`hu`
Original mapping of derived functor definition:
Available stretched versions (starting precedence is 8):