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