Z3Commands
Commands
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