from sympy import Symbol x = Symbol('__new__')
from sympy import Symbol, Integer y = Integer(Symbol('__new__')) # y must be an integer
from sympy import Symbol, Positive z = Positive(Symbol('__new__')) # z must be positiveIn these examples, we use `__new__` to create new symbolic variables and define constraints on them. By using the `Symbol` class, we can pass string arguments to define the names of our symbolic variables.