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

기호 : 마우스
키보드 ~ & | $ % ^
[입력] [출력] [TeX 출력] [줄 검사] [전체 검사] [도움말] --- [] [설정]

1.  hyp    
2. Rule ?