The Editor User Interface
Let's start by looking at a proof.
The proof now goes into edit mode:
The main UI elements are

The Proof Editor contains the code used to generate the proofs. As you type, your code is verified and then displayed on the proof stack.

To exit the editor click the X in the upper right corner of the proof editor.

The Proof Stack displays the proof. If you close the editor this is all you will see.

The
Notation Guide. Open up this guide, if you don't recognize a symbol or want more information about it.

Open up context to get background information about the area of mathematics this theorem is part of.

The Suggestion Box helps you write proofs by automatically suggesting theorems you can use.
Prev  Main  Next: How to Write Formulas