at.logic.gapt.expr
************* OPERATORS ****************
***********************************************************************
****************** SPECIAL INTEGERS ***********************************