Commands : [New] [Add Line] [Insert Line] [Delete Line] [Add conclusion] [Redraw]
[Add Subproof] [Insert Subproof] [End Subproof] [Delete Subproof]

Symbols : Mouse
Keyboard ~ & | $ % ^
[Input] [Output] [TeX export] [Verify Line] [Verify All] [Help] --- [Home]

1.  hyp    
2. Rule ?