Mathemetical Symbol
- 보편 양화사 (\(\forall\)): 모든, 임의의 (for all, for every)
- 예: \(\forall x \in \mathbb{R}\) (모든 실수 \(x\)에 대해)
- 존재 양화사 (\(\exists\)): 적어도 하나 존재한다 (there exists)
- 예: \(\exists x \in \mathbb{R}\) (적어도 하나의 실수 \(x\)가 존재한다)
- 따라서 (\(\therefore\)): 결론을 나타낼 때 사용 (therefore)
- 예: \(a = b \therefore b = a\)
- 왜냐하면 (\(\because\)): 이유를 나타낼 때 사용 (since, because)
- 예: \(a = b \because b = c\)
- 조건문 (\(\Rightarrow\)): 만약 ~라면, ~이다 (if, then)
- 예: \(p \Rightarrow q\) (만약 \(p\)라면, \(q\)이다)
- 쌍조건문 (\(\Leftrightarrow\)): ~일 때 그리고 그때만 (if and only if)
- 예: \(p \Leftrightarrow q\) (p와 q가 동치일 때)
- 증명 완료 (\(\blacksquare\) 또는 \(\square\)): 증명이 끝났음을 나타냄 (Q.E.D.)
- 예: \(a = b \blacksquare\)
- 일반성을 잃지 않고 (WLOG): Without Loss Of Generality
- 예: WLOG, 가정 \(x \geq 0\)
- 다음은 모두 동치이다 (TFAE): The Followings are All Equivalent
- 예: TFAE: \(p \Leftrightarrow q \Leftrightarrow r\)
- 보여야 할 것 (WTS): What To Show
- 예: WTS: \(p \Rightarrow q\)