Z3Commands

List of Operators

+, -, *, /, ^, % - Arithmetic Operators | | - Array Function and Creation Operator .. - Arithmetic and Geometric Series Creation ... - Arithmetic and Geometric Series Creation @ - apply to

1. - Series or Special Case Qualifier for Dates, Calci Cells, and Sequences, etc.

<<< - Member or Variable Assignment () - Function Call [] - Set Creation

      - Object Set 
      - Set Object Membership

. - Member Function Dereferencing. . mf - Member Function .$ mf(function, parameters) - Element-wise Function Application .$$ mf (special – Row-wise Function Application .$$$ mf (special) – Column-wise Function Application .$_ mf (special) - Cumulative Function Application (all)

- If

- switch

Short Cut Keys

CTRL+G - to convert into Greek Code
CTRL+U - Converts SIGMA to Σ
SHIFT+SPACE - Gives Parameter Expansion
SHIFT+BACKSPACE - Toggle Capital and Small Letter [Ex: Convert FRACTAL to fractal and vice verse]

Reference Links

Calci Functions
Z3 Functions