(self, type_=None)
return self.node_type() == SYMBOL
Test whether the formula is a Symbol.

        Optionally, check that the symbol has the given type.
Test whether the formula is a Symbol.
Test whether the formula is a Symbol .
def is_symbol(self, type_=None):
        """Test whether the formula is a Symbol.

        Optionally, check that the symbol has the given type.
        """
        if type_:
            return self.node_type() == SYMBOL and \
                   self.symbol_type() == type_
        return self.node_type() == SYMBOL
def is_symbol ( self , type_ = None ) : if type_ : return self . node_type ( ) == SYMBOL and self . symbol_type ( ) == type_ return self . node_type ( ) == SYMBOL