Inherited from math.Ordering[Global.Symbol]
Inherited from math.PartialOrdering[Global.Symbol]
Inherited from math.Equiv[Global.Symbol]
Inherited from Serializable
Inherited from java.io.Serializable
Inherited from Comparator[Global.Symbol]
Inherited from Any