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

기호 : 마우스 = | < > · '
키보드 ~ & | $ % ^ @ # α β φ ψ θ
[입력] [출력] [TeX 출력] [줄 검사] [전체 검사] [도움말] --- [] [설정]

1. hyp
2. Rule ?