Z3Commands

Commands

Short Cut Keys

CTRL+G - to convert into Greek Code
CTRL+U - Converts SIGMA to its  

Reference Links

Calci Functions