(left, right)
return get_env().formula_manager.Iff(left, right)
r""".. math:: l \leftrightarrow r
r""".. math:: l \leftrightarrow r
r .. math :: l \ leftrightarrow r
def Iff(left, right):
    r""".. math:: l \leftrightarrow r """
    return get_env().formula_manager.Iff(left, right)
def Iff ( left , right ) : return get_env ( ) . formula_manager . Iff ( left , right )