The Symbols toolbox lets you easily insert Greek letters into your expressions and constraints. Click the tab to choose from lower case or upper case Greek letters.
The bottom row of buttons in the toolbox lets you insert commonly used math operations.