import proveit
# Prepare this notebook for defining the common expressions of a theory:
%common_expressions_notebook # Keep this at the top following 'import proveit'.
from proveit.numbers.number_sets.real_numbers.real import (
RealSet, RealPosSet, RealNegSet, RealNonNegSet, RealNonPosSet, RealNonZeroSet)
from proveit.numbers.number_sets.real_numbers.irrational import IrrationalLiteral
%begin common
Real = RealSet()
RealPos = RealPosSet()
RealNeg = RealNegSet()
RealNonNeg = RealNonNegSet()
RealNonPos = RealNonPosSet()
RealNonZero = RealNonZeroSet()
e = IrrationalLiteral('e', r'\mathsf{e}')
pi = IrrationalLiteral('pi', r'\pi')
%end common