(literal)
The symbol in this literal (without the negation).

    Examples
    ========

    >>> from sympy import Symbol
    >>> from sympy.abc import A
    >>> from sympy.logic.inference import literal_symbol
    >>> literal_symbol(A)
    A
    >>> literal_symbol(~A)
    A
The symbol in this literal (without the negation).
The symbol in this literal ( without the negation ) .
def literal_symbol(literal):
    """
    The symbol in this literal (without the negation).

    Examples
    ========

    >>> from sympy import Symbol
    >>> from sympy.abc import A
    >>> from sympy.logic.inference import literal_symbol
    >>> literal_symbol(A)
    A
    >>> literal_symbol(~A)
    A

    """

    if literal is True or literal is False:
        return literal
    try:
        if literal.is_Symbol:
            return literal
        if literal.is_Not:
            return literal_symbol(literal.args[0])
        else:
            raise ValueError
    except (AttributeError, ValueError):
        raise ValueError("Argument must be a boolean literal.")
def literal_symbol ( literal ) : if literal is True or literal is False : return literal try : if literal . is_Symbol : return literal if literal . is_Not : return literal_symbol ( literal . args [ 0 ] ) else : raise ValueError except ( AttributeError , ValueError ) : raise ValueError ( "Argument must be a boolean literal." )