Looks like a big circle `yi` with a dot `hu` inside designating covariantly factoring focused parameter through Unit object equipped with a small hook `xk` designating source Kleisli category.
This operator is available for functors with multiple parameters:
Available stretched versions: