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