/Я language (β)/Operators/st/

It's an infix version of supertype morphism.

You cannot use this operator standalone, only in operator composites: