명령 :
[새 논리도해]
[더하기]
[끼워넣기]
[줄 삭제]
[부분나무 삭제]
[다시 그리기]
Shift-Click (터뜨리기), Right Mouse Click (전제 지정), Double Click (추론)
기호 :
마우스
¬
∧
∨
→
↔
키보드
~
&
|
$
%
[
입력
] [
출력
] [
TeX 출력
] [
무결성 검사
] [
도움말
] --- [
홈
]
1.
hyp
