- integer
Create a large integer number.
- $s
Get a global symbol which is retrieved from the global symbols map or created or
retrieved from the
- $
Create a new abstract syntax tree (AST).
- $p
Create a pattern for pattern-matching and term rewriting
- $ps
Create a pattern for pattern-matching and term rewriting
- Abs
- And
- Apart
- Apply
- ArcCot
- ArcSin
- ArcTan