(*args)
return get_env().formula_manager.Plus(*args)
r""".. math:: \varphi_0 + \cdots + \varphi_n
r""".. math:: \varphi_0 + \cdots + \varphi_n
r .. math :: \ varphi_0 + \ cdots + \ varphi_n
def Plus(*args):
    r""".. math:: \varphi_0 + \cdots + \varphi_n """
    return get_env().formula_manager.Plus(*args)
def Plus ( * args ) : return get_env ( ) . formula_manager . Plus ( * args )