[Python-ideas] Re: Comparison operator support (>= and <=) for type

On 17/06/2019 16.47, Guido van Rossum wrote:

Type theorists apparently have chosen to use the <: notation, and presumably for the same reason.

Can we call it "party hat operator", please? <:-) Christian