Description: Extend wff notation to include the 'greater than or equal to' relation, see df-gte .
class >_