명령 : [새 증명] [줄 더하기] [줄 끼워넣기] [줄 삭제] [첫 결론 끼워넣기] [다시 그리기]
[부분증명 더하기] [부분증명 끼워넣기] [부분증명 끝내기] [부분증명 삭제]

기호 : 마우스 ¬ ∧ ∨ → ↔ ⊥ ∀ ∃ = | ≤ < ≥ > · ∩ ∪ ' ∅
키보드 ~ & | $ % ^ @ # ≠ ∈ ∉ ⊆ ≈ ≡ α β φ ψ θ
[입력] [출력] [TeX 출력] [줄 검사] [전체 검사] [도움말] --- [홈] [설정]

1. hyp
2. Rule ?