Optional
domain?: DomainLiteral | BoxedDomainOptional
flags?: Partial<NumericFlags>Optional
inferred?: booleanIf true, the domain is inferred, and could be adjusted later as more information becomes available or if the symbol is explicitly declared.
Optional
value?: LatexString | SemiBoxedExpression | ((ce: IComputeEngine) => SemiBoxedExpression | null)value
can be a JS function since for some constants, such as
Pi
, the actual value depends on the precision
setting of the
ComputeEngine
and possible other environment settings
A bound symbol (i.e. one with an associated definition) has either a domain (e.g. ∀ x ∈ ℝ), a value (x = 5) or both (π: value = 3.14... domain = TranscendentalNumbers)