명령 : [새 논리도해] [더하기] [끼워넣기] [줄 삭제] [부분나무 삭제] [다시 그리기]
Shift-Click (터뜨리기), Right Mouse Click (전제 지정), Double Click (추론)

기호 : 마우스
키보드 ~ & | $ %


[입력] [출력] [TeX 출력] [무결성 검사] [도움말] --- []

1. hyp