[include(틀:관련 문서, top1=과학/기호, top2=문자(수학))]
[목차]

== 개요 ==
[[수학]]에서 쓰이는 약어와 기호에 대해 정리한 문서. 수학적 의미를 지니는 이탤릭체와의 구분을 위해 로만체(정체)로 쓰는 것이 일반적이다.

== 논리 ==
[include(틀:수학기초론)]

||<tablewidth=100%> 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] ||
|| ∀ || ||for all[br]for arbitrary[br]for any||모든 ~에 대해 || {{{\forall}}} ||
|| ∃ || ||(there) exist ||존재한다 || {{{\exists}}} ||
|| ! || ||unique ||유일하다[* 표기가 같은 [[팩토리얼]], [[완전순열]]과 혼동에 유의할 것.] || {{{!}}} ||
|| ∃! || ||uniquely exist ||유일하게 존재한다 || {{{\exists!}}} ||
|| ↔[br]⇔ ||[math(\sf iff)] ||if and only if ||동치[*A [[수학/약어 및 기호#s-6|TFAE]]는 여러 명제에 대해 쓰이고, iff는 두 명제에 대해서만 쓰이는 차이점이 있다. 그리고 품사(?) 정도의 차이가 있다.] || {{{\leftrightarrow}}}[br]{{{\Leftrightarrow}}}[br]{{{{\sf iff} }}} ||
|| =[* 형태가 다양한 등호들이 있지만, 대표기호 1개만 표시한다.] || ||equal (to) ||같다 || {{{=}}} ||
|| ≠ || ||not equal ||같지 않다, 다르다[* 컴퓨터공학에서는 표기상 한계로 ~=, !=, /=, <>를 쓴다.] || {{{\ne}}}[br]{{{\neq}}} ||
== 범주 ==
||<tablewidth=100%> 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] ||
|| ≅ || ||isomorphism ||동형 사상|| {{{\cong}}} ||
== 대수 ==
[include(틀:대수학)]
||<tablewidth=100%> 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] ||
|| ≡ ||[math(\sf congr.)] ||congruence relation ||합동(modulo equation) || {{{\equiv}}}[br]{{{{\sf congr.} }}} ||
|| ≅ || ||isomorphism ||동형 || {{{\cong}}} ||
|| ≈[br]≒[br]≓ ||[math(\sf approx.)][br][math(\sf aprx)] ||approximately equal ||비슷하다 || {{{\approx}}}[br]{{{\fallingdotseq}}}[br]{{{\risingdotseq}}}[br]{{{{\sf approx.} }}}[br]{{{{\sf aprx} }}} ||
|| ≃ || ||asymptotic equality ||점근적으로 같다 || {{{\simeq}}} ||
|| ∼[br]∽[br]∝ || ||proportionality[br]similarity ||비례 || {{{\sim}}}[br]{{{\backsim}}}[br]{{{\propto}}} ||
|| ||[math(\sf const.)] ||constant ||상수 || {{{{\sf const.} }}} ||
== 기하 ==
위상수학 포함.
||<tablewidth=100%> 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] ||
|| ||[math(\sf cyc.)] ||cyclic || 순환하는 || {{{{\sf cyc.} }}} ||
|| ≅ || ||isomorphism || 동형[* 주로 등거리 변환 아래 동치관계를 의미한다.] || {{{\cong}}} ||
== 증명 서술 ==
||<tablewidth=100%> 기호 || 약어 || 영어 표기 || 한국어 뜻 || [[TeX 문법]] ||
|| ||[math(\sf WLOG)] ||without loss of generality ||일반성을 잃지 않고 || {{{{\sf WLOG} }}} ||
|| [anchor(tfae)] ||[math(\sf TFAE)] ||the following are all equivalent ||다음은 모두 동치이다.[*A] || {{{{\sf TFAE} }}} ||
|| ||[math(\sf ETS)] ||easy/enough to show ||다음을 보이는 것은 쉽다/것으로 충분하다. || {{{{\sf ETS} }}} ||
|| ||[math(\sf RTS)] ||remain to show ||다음의 증명이 남아있다/다음을 증명하면 완료된다. || {{{{\sf RTS} }}} ||
|| ||[math(\sf WTS)] ||what/want to show ||다음을 보이자/~를 보이고 싶다 || {{{{\sf WTS} }}} ||
|| ||[math(\sf s.t.)][br][math(\sf st)] ||such that[br]satisfying ||다음과 같은 (성질을 만족하는) || {{{{\sf s.t.} }}}[br]{{{{\sf st} }}} ||
|| ||[math(\sf N.t.)] ||note that ||기억하자 || {{{{\sf N.t.} }}} ||
|| ||[math(\sf rmk)] ||remark ||떠올려보자, 강조 || {{{{\sf rmk} }}} ||
|| ■[br]□ ||[[Q.E.D.|[math(\sf Q.E.D.)]]] ||quod erat demonstrandum[*라틴] ||증명 완료 || {{{\blacksquare}}}[br]{{{\square}}}[br]{{{{\sf Q.E.D.} }}} ||
|| ||[math(\sf i.e.)] ||id est[*라틴][br]that is ||즉, 다시 말하면 || {{{{\sf i.e.} }}} ||
|| ||[math(\sf e.g.)][br][math(\sf ex)] ||exempli gratia[*라틴][br]For example ||예를들면/이를테면 || {{{{\sf e.g.} }}}[br]{{{{\sf ex} }}} ||
|| ≝[br]≔[br]≕[* ≔와는 의미상 차이가 있다. A := B는 "B를 A라고 부른다," 즉 A를 정의하는 것인 반면, A =: B는 "A를 B라고 부른다," 즉 B를 정의하는 것이다. ≔를 주로 쓰긴 하지만 ≕를 쓰는 것이 흐름이나 의미상 더 자연스러운 경우가 간혹 있다. 예컨대 먼저 복잡한 식을 제시하고 여러 단계를 거쳐 전개/간결화하고 난 후 최종적으로 나온 결과를 어떤 상수로 정의하는 경우.][br]≜||[math(\sf def.)] ||definition ||정의 || {{{\xlongequal{\sf def}}}}[br]{{{:=}}}[br]{{{=:}}}[br]{{{\triangleq}}}[br]{{{{\sf def.} }}}  ||
|| ||[math(\sf cf)] ||confer ||참조 || {{{{\sf cf} }}} ||
||∵ || ||since[br]because ||때문에 || {{{\because}}} ||
||∴ || ||thus[br]therefore[br]hence ||따라서 || {{{\therefore}}} ||
|| || ||suppose[br]assume ||~라 가정한다[* suppose는 실제론 거짓인 명제를 참으로 두고 모순이나 반례를 보일 때 자주 사용하고, assume은 실제로 참인 명제를 참으로 두고 논리전개할 때 자주 쓴다.] || ||
|| || ||one and only one ||단 하나만 || ||
|| || ||one and only one of the following ||다음 중 오직 하나만이 || ||
|| ||[math(\sf pf)] ||proof ||증명 || {{{{\sf pf} }}} ||
|| ||[math(\sf sol)] ||solution ||풀이 || {{{{\sf sol} }}} ||
|| || ||claim ||주장 || ||
|| ||[math(\sf cond.)] ||condition ||조건 || {{{{\sf cond.} }}} ||
== 참고 자료 ==
 *위키백과
  * [[https://en.wikipedia.org/wiki/List_of_mathematical_symbols#Basic_symbols|symbol list]]
  * [[https://en.wikipedia.org/wiki/Equals_sign|Equal Sign]]
 * [[https://librewiki.net/wiki/%EC%88%98%ED%95%99_%EA%B8%B0%ED%98%B8|리브레 위키:수학 기호]] 위키백과 번역

[각주][include(틀:문서 가져옴, this=문단, title=수학에서 쓰이는 약어들, version=45)]
[[분류:수학 용어]][[분류:수학 기호]]