명령 :
[새 증명]
[줄 더하기]
[줄 끼워넣기]
[줄 삭제]
[첫 결론 끼워넣기]
[다시 그리기]
[부분증명 더하기]
[부분증명 끼워넣기]
[부분증명 끝내기]
[부분증명 삭제]
기호 :
마우스
¬
∧
∨
→
↔
⊥
키보드
~
&
|
$
%
^
[
입력
] [
출력
] [
TeX 출력
] [
줄 검사
] [
전체 검사
] [
도움말
] --- [
홈
] [
설정
]
화면 윗부분 스크롤:
고정
,
움직임
백그라운드 이미지:
보임
,
안보임
형식증명의 폭:
좁게
,
표준형
,
넓게
1.
hyp
2.
Rule ?
