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 ?