(name, typename=types.BOOL)
return get_env().formula_manager.Symbol(name, typename)
Returns a symbol with the given name and type.

    :param name: Specify the name
    :param typename: Specify the typename
    :returns: A symbol with the given name and type
Returns a symbol with the given name and type.
Returns a symbol with the given name and type .
def Symbol(name, typename=types.BOOL):
    """Returns a symbol with the given name and type.

    :param name: Specify the name
    :param typename: Specify the typename
    :returns: A symbol with the given name and type
    """
    return get_env().formula_manager.Symbol(name, typename)
def Symbol ( name , typename = types . BOOL ) : return get_env ( ) . formula_manager . Symbol ( name , typename )