kdrag.theories.real.sympy.fresh_symbol

kdrag.theories.real.sympy.fresh_symbol() → Symbol

Create a fresh symbol for use in sympy expressions. >>> x = fresh_symbol() >>> y = fresh_symbol() >>> x != y True