(left, right)
return get_env().formula_manager.NotEquals(left, right)
r""".. math:: l != r
r""".. math:: l != r
r .. math :: l ! = r
def NotEquals(left, right):
    r""".. math:: l != r"""
    return get_env().formula_manager.NotEquals(left, right)
def NotEquals ( left , right ) : return get_env ( ) . formula_manager . NotEquals ( left , right )