def __init__(self, *, styles=None):
NumberSet.__init__(self,
'IntegerNonPos',
r'\mathbb{Z}^{\leq 0}',
theory=__file__,
styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'ComplexNonZero',
r'\mathbb{C}^{\neq 0}',
theory=__file__,
styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Integer',
r'\mathbb{Z}',
theory=__file__,
styles=styles)
def __init__(self):
NumberSet.__init__(self, 'Integer', r'\mathbb{Z}', theory=__file__)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Complex',
r'\mathbb{C}',
theory=__file__,
styles=styles)
def __init__(self):
NumberSet.__init__(self,
'Digits',
r'\mathbb{N}^{\leq 9}',
theory=__file__)
def __init__(self):
NumberSet.__init__(self, 'Complex', r'\mathbb{C}', theory=__file__)
def __init__(self):
NumberSet.__init__(self,
'RationalPos',
r'\mathbb{Q}^+',
theory=__file__)
def __init__(self):
NumberSet.__init__(self,
'RealNonNeg',
r'\mathbb{R}^{\ge 0}',
theory=__file__)
def __init__(self):
NumberSet.__init__(self, 'Real', r'\mathbb{R}', theory=__file__)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'RealNonNeg', r'\mathbb{R}^{\ge 0}',
theory=__file__, styles=styles,
fence_when_forced=True)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'Rational', r'\mathbb{Q}',
theory=__file__, styles=styles)
def __init__(self, *, styles=None):
NumberSet.__init__(self, 'RationalNeg', r'\mathbb{Q}^-',
theory=__file__, styles=styles,
fence_when_forced=True)
def __init__(self):
NumberSet.__init__(self, 'Natural', r'\mathbb{N}', theory=__file__)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Natural',
r'\mathbb{N}',
theory=__file__,
styles=styles)
def __init__(self, *, styles=None):
NumberSet.__init__(self,
'Digits',
r'\mathbb{N}^{\leq 9}',
theory=__file__,
styles=styles)
def __init__(self):
NumberSet.__init__(self,
'RationalNonZero',
r'\mathbb{Q}^{\neq 0}',
theory=__file__)
