It's an infix version of supertype morphism.
You cannot use this operator standalone, only in operator composites: