obj
IEquatable<formulaclass>
IStructuralEquatable
IComparable<formulaclass>
IComparable
IStructuralComparable
Delta
Pi
Sigma