def _uniquely_named_symbol(xname, *exprs):
    prefix = '%s'
    x = prefix % xname
    syms = set().union(*[e.free_symbols for e in exprs])
    while any(x == str(s) for s in syms):
        prefix = '_' + prefix
        x = prefix % xname
    return _symbol(x)
Write a prompt and read a line.
dataset/ETHPy150Open sympy/sympy/sympy/geometry/util.py/_uniquely_named_symbol--crossover with--dataset/ETHPy150Open babble/babble/include/jython/Lib/code.py/InteractiveConsole.raw_input