수학 기호

Skim (토론 | 기여)님의 2015년 12월 9일 (수) 12:11 판 (→‎집합)

틀:학술

개괄

수학에서 쓰이는 약어와 기호들을 모아놓은 문서. 수학 증명에서는 기호가 많이 나오기 때문에 기호의 의미를 알지 못한다면 증명을 이해할 수 없다. 반대로, 기호를 알지 못하면 증명이 쓸데없이 길어질 수도 있고, 중의적인 의미를 가질 수도 있다. 문제는, 수학 분야에 따라서 같은 기호가 다른 의미를 가지기도 하기 때문에 기호가 가진 의미를 모두, 그리고 정확히아는 것이 중요해진다. 물론, 다른 기호들이 같은 의미를 가지기도 한다. 수학자들은 통일이라는 것을 모르나보다. 또한, 특정 상수에 대해서는 항상 같은 기호를 쓰는 경우가 많기 때문에 기호를 이해하는 것이 더더욱 중요해진다.

문자

약어

약어 본말 의미 설명
WLOG Without Loss Of Generality 일반성을 잃지 않고 수학에서 문자에 따른 크기나 순서 구분이 증명에 영향을 끼치지 않을 경우 주로 사용한다.
s.t. such that 다음과 같은 조건을 추가할 때 주로 쓰인다.
iff if and only if 필요충분 조건 두 명제가 동치라는 것을 설명한다.
TFAE The Following Are Equivalent 다음은 서로 동치이다 여러 명제가 동치라는 것을 설명할 때 쓰인다. iff와 차이점은 명제가 3개 이상일 수 있다는 점.
ETS Enough To Show 다음을 보여도 충분하다 명제를 증명할 때, 그 명제와 동치인 다른 명제를 증명하면 증명이 끝난다. 그럴때 쓰이는 약어.
Q.E.D. Quod Erat Demonstrandum 증명 완료 증명이 끝에 쓰이는 약어인데, 이 기호를 쓰면 잘난체한다고 생각하는 수학자들이 많아 ■나 □을 쓰는 경우가 더 많다.
cyc cyclic 시클릭 합이나 곱에서 지표가 순환하는 경우 그냥 cyc만 써도 된다.
sym symmetric 대칭 합이나 곱에서 지표가 대칭인 경우 사용한다.
Def Definition 정의
Lemma Lemma 도움 정리
Thm Theorem 정리
Cor Corollary 따름 정리
e.g. exemplī grātiā 예를 들면 ex도 쓰인다.
i.e. id est
Eq Equation 준식 Equation 자체는 방정식을 뜻하지만, 증명 과정에서 등식에 대한 설명을 하고 이어갈 때, 같은 식을 쓰는 것을 피하기 위해 가끔 사용한다.

알파벳

알파벳 뒤에 다른게 붙지 않아도 의미를 가지는 것만 설명. 예를 들어, B(n, p)는 이항분포를 뜻하지만 (n, p)가 없으면 의미를 가지지 않으므로 서술하지 않는다. 뒤에 다른게 붙을 때 의미를 가지는 것은 특수 문자나 분야별 기호에 서술.

알파벳 LaTeX 의미 설명
C 적분 상수 적분 상수로 쓰이는 가장 대표적인 문자.
c 상수 constant; 상수를 뜻할 때 쓰이는 가장 대표적인 문자.
D 정의역 Domain; 정의역을 뜻할 때 쓰이는 가장 대표적인 문자.
대각행렬 Diagonal matrix
d 거리 distane; 측도론이나 기하학에서 거리를 뜻할 때 쓰는 문자.
지름 diameter
E 기댓값 Expectation value; 통계학에서 기댓값을 나타낼 때 쓰는 문자. 보통 E(X)와 같이 쓴다.
기본행렬 선형대수학에서 단위 행렬에 기본 연산을 행하여 얻는 행렬을 나타낸다.
e 자연상수
항등원 추상대수학에서 항등원을 뜻하는 문자.
F Field; 추상대수학에서 일반적인 체를 나타낼 때 쓰이는 문자.
부정적분 함수 해석학에서, 함수 f의 부정적분을 뜻할 때 주로 쓰이는 문자.
f 함수 function; 일반적인 함수를 나타낼 때 쓰이는 가장 대표적인 문자.
G Group; 추상대수학에서 일반적인 군을 뜻하는 문자.
[math]\displaystyle{ \mathbb{H} }[/math] \mathbb{H} 사원수의 집합 사원수의 집합을 나타낸다. H는 Hamilton의 이름을 딴 것.
H 부분군 G의 부분군을 나타내는 일반적인 문자.
h 높이 height; 기하학에서 높이를 나타내는 일반적인 문자.
I 아이디얼 Ideal; 추상대수학에서 아이디얼을 나타내는 문자.
항등함수 Identity function; 해석학에서 항등함수를 뜻하는 대표적인 문자.
단위행렬 Identity matrix; 선형대수학에서 단위 행렬을 나타내는 문자. 뒤에 n을 붙여 행렬의 크기를 나타내기도 한다.
i 허수 단위 대수학에서 허수 단위를 나타내는 대표적인 문자. 보통 [math]\displaystyle{ \sqrt{-1} }[/math]로 정의한다.
지표 index; 합이나 곱에서 지표를 나타낼 때 자주 쓰인다.
사원수 사원수의 기본 원소중 하나.
J 조르당 행렬 선형대수학에서, 대각선 위는 전부 1, 대각선은 고유값, 나머지는 전부 0인 행렬.
j 사원수 사원수의 기본 원소중 하나.
k F와 함께, 체를 나타낼 때 쓰인다. 소문자에 주의.
사원수 사원수의 기본 원소중 하나.
[math]\displaystyle{ \mathcal{L} }[/math] \mathcal{L} 라플라스 변환 라플라스 변환을 나타내는 문자.
L 하삼각행렬 Lower triangular matrix; 선형대수학에서, 대각선 위는 전부 0인 행렬.
l 길이 length; 기하학에서 길이를 뜻하는 문자.
M 행렬 (수학) Matrix; 선형대수학에서 행렬을 의미하는 문자.
m 평균 mean; 산술평균을 나타내는 문자.
[math]\displaystyle{ \mathbb{N} }[/math] \mathbb{N} 자연수의 집합 책에따라서 0을 포함하기도 하고 제외하기도 한다.
n 자연수 임의의 자연수를 나타내는 문자.
O 점근 표기법 Big O
P 다항식 일반적인 다항식을 나타내는 표기.
p 소수 prime; 소수를 나타내는 가장 대표적인 문자.
[math]\displaystyle{ \mathbb{Q} }[/math] \mathbb{Q} 유리수의 집합
Q 몫 다항식 Quotient; 다항식의 나눗셈에서 몫을 나타내는 문자.
q quotient; 수의 나눗셈에서 몫을 나타내는 문자.
[math]\displaystyle{ \mathbb{R} }[/math] \mathbb{R} 실수의 집합
R 나머지 다항식 Remainder; 다항식의 나눗셈에서 나머지를 나타내는 문자.
Ring; 추상대수학에서 환을나타내는 대표적인 문자.
r 나머지 remainder; 수의 나눗셈에서 몫을 나타내는 문자.
반지름 radius
S Sum; 합을 나타낼 때 주로 쓰이는 문자.
T 전치 Transposition; 행렬 위에 붙어 전치 행렬을 나타낸다.
t 시간 time; 시간을 나타내는 가장 대표적인 문자.
U 전체 집합 Universal set
상삼각행렬 Upper triangular matrix; 선형대수학에서, 대각선 아래는 전부 0인 행렬.
V 클라인 4원군 추상대수학에서, [math]\displaystyle{ \left\{e,\,\left(12\right)\left(34\right),\,\left(13\right)\left(24\right),\,\left(14\right)\left(23\right)\right\} }[/math]를 나타내는 문자.
v 벡터 벡터를 나타내는 가장 대표적인 문자.
W 론스키 행렬식 유한개 함수들이 일차독립인지 확인하는 행렬식
X 집합 (수학) 임의의 집합을 나타낼 때 자주 쓰이는 문자.
정의역 D와 함께 함수의 정의역을 나타낼 때 자주 쓰이는 문자.
x 미지수
독립변수
Y 공역 함수의 공역을 나타낼 때 자주 쓰이는 문자.
y 함수 f와 함께 함수를 나타내는 가장 일반적인 문자.
종속변수
[math]\displaystyle{ \mathbb{Z} }[/math] \mathbb{Z} 정수의 집합
z 복소수 임의의 복소수를 나타내는 가장 일반적인 문자.

그리스 문자

기호 LaTeX 이름 의미 설명
\aleph 알레프 무한집합의 기수 참고로 이건 그리스 문자가 아니라 히브리 문자이다.
α \alpha 알파 방정식의 근을 나타낼 때 자주 쓰인다.
Β \Beta 베타 베타함수 [math]\displaystyle{ \Beta\left(x,y\right)=\int_0^1t^{x-1}\left(1-t\right)^{y-1}\mathrm{d}t }[/math]
Γ \Gamma 감마 감마함수 [math]\displaystyle{ \Gamma\left(x\right)=\int_0^{\infty}x^{t-1}e^{-x}\mathrm{d}x }[/math]
1의 거듭제곱근 [math]\displaystyle{ \Gamma_n=\left\{e^{\frac{2\pi ik}{n}}\mid k\in\mathbb{Z}\right\} }[/math]
ɣ \gamma 오일러-마스케로니 상수 [math]\displaystyle{ \lim_{n\to\infty}\left(\sum_{k=1}^n\frac{1}{k}-\ln n\right) }[/math]
\Delta 델타 차이 두 값의 차이를 나타낼 때 쓰인다. 증분이 한 예.
라플라시안 [math]\displaystyle{ \Delta=\nabla^2 }[/math]
δ \delta 디랙 델타 함수 [math]\displaystyle{ \delta\left(x\right)=\begin{cases}\infty,&x=0\\0,&x\neq0\end{cases} }[/math]
크로네커 델타 [math]\displaystyle{ \delta_{ij}=\begin{cases}1,&i=j\\0,&i\neq j\end{cases} }[/math]
매우 작은 양수 해석학에서는 작은 양수를 뜻한다.
\nabla
나블라
그래디언트 [math]\displaystyle{ \nabla=\left(\partial/\partial x_1,\ldots,\partial/\partial x_n\right) }[/math]
다이버전스 [math]\displaystyle{ \nabla\cdot\vec{v}=\frac{\partial v_x}{\partial x}+\frac{\partial v_y}{\partial y}+\frac{\partial v_z}{\partial z} }[/math]
[math]\displaystyle{ \nabla\times\vec{v}=\begin{vmatrix}\mathbf{i}&\mathbf{j}&\mathbf{k}\\\partial x&\partial y&\partial z\\v_x&v_y&v_z\end{vmatrix} }[/math]
ε \varepsilon 엡실론 매우 작은 양수 해석학에서는 작은 양수를 뜻한다.
ζ \zeta 제타 리만 제타 함수 [math]\displaystyle{ \zeta\left(s\right)=\sum_{i=1}^{\infty}\frac{1}{n^s} }[/math]
θ \theta 세타 각도 주로 라디안 각도를 나타낸다.
ι \iota 이오타 허수 단위 아주 가끔씩 i를 제치고 허수 단위로 쓰인다.
κ \kappa 카파 곡률 [math]\displaystyle{ \kappa=\left\|\frac{\mathrm{d}\mathbf{T}}{\mathrm{d}s}\right\| }[/math]
Λ \Lambda 람다 대각화행렬 [math]\displaystyle{ M=\Lambda D\Lambda^{-1} }[/math]
λ \lambda 고윳값 [math]\displaystyle{ \det\left(X-\lambda I\right)=0 }[/math]
라그랑주 승수
μ \mu 적분인자 미분방정식을 풀기 위해 곱해지는 함수
평균 통계학에서는 m과 함께 평균을 나타낸다.
ξ \xi 자이 고유벡터
Π \Pi
\prod
파이 [math]\displaystyle{ \prod_{i=1}^nx_i=x_1x_2\cdots x_n }[/math]
π \pi 원주율
\coprod 쌍대곱 분리합집합
ρ \rho 반지름 구면좌표계에서 반지름을 나타낸다.
Σ \Sigma
\sum
시그마 [math]\displaystyle{ \sum_{i=1}^nx_i=x_1+x_2+\cdots+x_n }[/math]
대칭군 기하학에서의 대칭군을 의미한다.
σ \sigma 표준편차 [math]\displaystyle{ \sigma=\sqrt{E\left[\left(X-\mu\right)^2\right]} }[/math]
약수함수 [math]\displaystyle{ \sigma_x\left(n\right)=\sum_{d\mid n}d^x }[/math]
순열 추상대수학에서 일반적인 순열을 나타내는 기호
τ \tau 타우 양의 양수의 개수 [math]\displaystyle{ \tau\left(n\right)=\sigma_0\left(n\right) }[/math]
지름 [math]\displaystyle{ \tau=2\pi }[/math]
비틀림 [math]\displaystyle{ \tau=-\mathbf{n}\cdot\mathbf{b}' }[/math]
호환 추상대수학에서 원소가 두 개인 순열을 나타내는 기호
Φ \Phi 원분 다항식 [math]\displaystyle{ \Phi_n\left(x\right)=\prod_{\underset{\gcd\left(k,n\right)=1}{1\leq k\leq n}}\left(x-e^{2i\pi\frac{k}{n}}\right) }[/math]
φ \phi 오일러 피 함수 [math]\displaystyle{ \phi\left(n\right)=n }[/math]보다 작거나 같은 수 중 \(n\)과 서로소인 자연수의 개수
황금비 [math]\displaystyle{ \phi=\frac{1+\sqrt5}{2} }[/math]
χ \chi 카이 카이제곱 검정 통계학에서 쓰인다.
ω \omega 오메가 1의 세제곱근 [math]\displaystyle{ \omega=\frac{1\pm\sqrt{3}i}{2} }[/math]

형태별 분류

기본 기호

기호 LaTeX 의미 설명
+ 덧셈
뺄셈
± \pm 플러스 혹은 마이너스 ±1같은 경우는 양수나 음수의 의미를, 2±2의 경우는 덧셈이나 뺄셈의 의미를 갖는다.
\mp 마이너스 혹은 플러스 위와 동일하지만 순서만 바뀌었다. 복호동순이 중요한 경우 구분하여 사용한다.
× \times 곱셈
외적 벡터의 외적을 나타내는 기호.
데카르트 곱
· \cdot 곱셈
내적 벡터의 내적을 나타내는 기호.
자리 매김 다른 기호 안에 문자 변수를 사용하고 싶지 않을 때 쓴다.
÷ \div 나눗셈
나눗셈 분수 표기를 할 때도 쓰인다.
몫군
몫환
정확히는 왼쪽 잉여류를 나타낸다.
부정 특정 기호에 겹쳐 그림으로써 기호가 가진 의미를 반대로 만든다. ∖와는 전혀 의미가 다르므로 주의.
\sqrt[]{} 근호
: 비례식
부분군의 지표
\therefore 따라서
\because 왜냐하면
\exists 존재한다
\forall 모든
! 계승
유일한
논리 부정 프로그래밍에서는 부정을 뜻하지만, 수학에서는 대부분 유일함을 의미하므로 주의하자.
¬ \lnot 논리 부정
~ \sim 논리 부정 ~는 다른 의미를 많이 가지기 때문에 논리 부정은 보통 ¬을 사용한다.
닮음 기하학의 닮음
동치관계
근사함 마찬가지로 ~는 다른 의미를 많이 갖기 때문에 ≈를 더 자주 쓴다.
\propto 비례한다
\infty 무한


\blacksquare
\square
\blacktriangleright
증명 완료 주로 사각형을 사용한다.

등호·부등호

기호 LaTeX 의미 설명
= 등호 좌, 우가 서로 동치라는 뜻이다.
\neq 같지 않음 좌, 우가 다르다는 뜻.
\approx 근사함 좌, 우의 값이 비슷하다는 뜻.
=:
:=
\(\overset{\text{def}}{=}\)


\overset{\text{def}}{=}
정의 수학적 정의를 줄 때 쓴다. 사용하는 기호는 책마다 천차만별.
\equiv 정의 수학적 정의를 할 때 쓰이기도 하지만 보통은 아래 의미로 많이 쓰인다.
합동 기하학의 합동과 정수론의 합동 둘 다 포함한다.
\cong 합동 기하학의 합동만을 의미한다.
동형 사상 추상대수학에서의 동형사상을 의미한다.

\leftrightarrow
\Leftrightarrow
동치 한 줄 짜리는 두 명제가 참이라는 것만을, 두 줄 짜리는 그 동치관계가 참임을 의미한다.
<
>
크기 비교 부등호가 벌어진 쪽의 것이 크다는 것을 의미한다.
진부분군 부분군 중에 원래 군과 같지 않다는 것을 의미한다.

\ll
\gg
크기 비교 부등호가 벌어진 쪽의 것이 훨씬 크다는 것을 의미한다.

\leq
\geq
크기 비교 부등호가 벌어진 쪽의 것이 크거나 같다는 것을 의미한다.
부분군

\triangleleft
\triangleright
정규부분군 삼각형이 가르키는 쪽이 원래 군이다.
아이디얼

\rightarrow
\Rightarrow
충분조건 한 줄 짜리는 충분조건만을, 두 줄 짜리는 참인 충분조건을 의미한다.

\leftarrow
\Leftarrow
필요조건 한 줄 짜리는 필요조건만을, 두 줄 짜리는 참인 필요조건을 의미한다.

\supset
\subset
(진)부분집합 책에 따라서는 그냥 부분집합만을 의미하기도 한다.

\supseteq
\subseteq
부분집합
[math]\displaystyle{ \supsetneq }[/math]
[math]\displaystyle{ \subsetneq }[/math]
\supsetneq
\subsetneq
진부분집합
\rightarrow 함수 관계 화살표가 시작하는 부분이 정의역, 가르키는 부분이 공역이다.
\hookrightarrow 단사 함수 함수가 1-1임을 나타낸다.
\twoheadrightarrow 전사 함수 함수가 전사임을 나타낸다.
\mapsto 함수 관계 화살표가 시작하는 부분이 정의역의 원소, 가르키는 부분이 공역의 원소이다.

괄호

기호 LaTeX 의미 설명
[math]\displaystyle{ \binom{\phantom{n}}{\phantom{k}} }[/math] \binom{}{} 조합
[math]\displaystyle{ \left(\binom{\phantom{n}}{\phantom{k}}\right) }[/math] \left(\binom{}{}\right) 중복조합
|…| \left| \right| 절댓값
노름 유클리드 거리만을 나타낸다.
행렬식
기수 집합의 크기
‖…‖ \left\| right\| 노름 유클리드 거리를 포함한다.
{…} \left\{ \right\} 수열
실수의 소수부
{ , } \left\{ , \right\} 집합 원소 나열법으로 나열한 집합을 의미한다.
{ : }
{ | }
{ ; }
\left\{ : }\right\}
\left\{ \mid\ }right\}
\left\{ ; \right\}
집합 조건 표시법으로 나타낸 집합을 의미한다.
⌊…⌋ \left\lfloor \right\rfloor 바닥 함수 [math]\displaystyle{ \left\lfloor x\right\rfloor }[/math]는 \(x\)보다 작은 정수 중 최대인 것을 의미한다.
⌈…⌉ \left\lceil \right\rceil 천장 함수 [math]\displaystyle{ \left\lceil x\right\rceil }[/math]는 \(x\)보다 큰 정수 중 최소인 것을 의미한다.
[…] \left[ \right] 동치류
바닥 함수
다항식환 [math]\displaystyle{ R\left[x\right] }[/math]는 환 \(R\)의 원소를 계수로하는 다항식으로 이루어진 환이다.
[ : ] \left[ : \right] 군의 지표 부분군이 콜론 뒤에 온다.
[ , ] \left[ , \right] 닫힌 구간
최소공배수 앞에 lcm을 붙이기도 하고 안 붙이기도 한다.
(…) \left( \right) 함수값 계산 [math]\displaystyle{ f\left(x\right) }[/math]는 함수 \(f\)를 \(x\)에서 계산한다는 뜻이다.
사상 [math]\displaystyle{ f\left(X\right) }[/math]는 정의역이 \(X\)인 함수 \(f\)의 사상을 나타낸다.
수열 수열은 주로 {…}을 쓰기 때문에 잘 안 쓰인다.
주 아이디얼
( , ) \left( , \right) 열린 구간
순서쌍
최대공약수 앞에 gcd를 붙이기도 하고 안 붙이기도 한다.
( , ]
[ , )
\left( \right]
\left[ \right)
반열린 구간
반닫힌 구간
(나 )쪽이 열린 부분이다.
<…> \left< \right> 부분군 [math]\displaystyle{ \left\lt X\right\gt }[/math]는 집합 \(X\)에 의해 생성된 부분군을 의미한다.
순환군 [math]\displaystyle{ \left\lt g\right\gt }[/math]는 \(g\)가 생성원인 순환군을 의미한다.
< , > \left< , \right> 내적

기타 특수 기호

기본 기호에 비해 잘 안쓰이는 기호들.

기호 LaTeX 의미 설명
* 합성곱 [math]\displaystyle{ \left(f*g\right)\left(t\right)=\int_{-\infty}^{\infty}f\left(\tau\right)g\left(t-\tau\right)\mathrm{d}\tau }[/math]
가역원 집합 [math]\displaystyle{ R^* }[/math]은 환 \(R\)의 가역원들만 모아놓은 집합이다. *대신 ×가 쓰이기도 한다.
\setminus 차집합 −을 사용하기도 한다.
몫군
몫환
정확히는 오른쪽 잉여류를 나타낸다.
| 조건부 확률 [math]\displaystyle{ P\left(A|B\right) }[/math]는 \(B\)가 주어졌을 때 \(A\)가 일어날 확률이다.
제한 [math]\displaystyle{ f|_{D'} }[/math]는 함수 \(f\)의 정의역을 \(D'\)으로 제한한다는 소리이다.
함수값 계산 [math]\displaystyle{ f|_{x=x_0} }[/math]는 함수 \(f\)를 \(x_0\)에서 계산한다는 소리이다.
적분값 계산 [math]\displaystyle{ F|_a^b }[/math]는 부정적분된 함수 \(F\)에 대해 [math]\displaystyle{ F\left(b\right)-\left(a\right) }[/math]의 값을 구한다는 소리이다.
\mid 나누어떨어짐 [math]\displaystyle{ a\mid b }[/math]는 \(b\)가 \(a\)로 나누어떨어진다는 뜻이다.
\nmid 나누어떨어지지 않음
∣∣ \mid\mid 정확히 나눔 [math]\displaystyle{ a^n\mid\mid b }[/math]는 \(a^n\)이 \(b\)를 나누지만 \(a^{n+1}\)은 나누지 않는다는 뜻이다.
\parallel 평행 조금 기울인 //을 사용하기도 한다.
\nparallel 평행하지 않음
\oplus 배타적 논리합
[math]\displaystyle{ \bar{\phantom{a}} }[/math] \bar{} 평균
대수적 닫힘
켤레 복소수
[math]\displaystyle{ \overline{\phantom{abc}} }[/math] \overline{} 수 표기 세 자리수 \(abc\)를 나타내고 싶을 때 [math]\displaystyle{ \overline{abc} }[/math]와 같이 표기할 수 있다. 장점은 곱 \(abc\)와 구분된다는 점.
선분
[math]\displaystyle{ \vec{\phantom{v}} }[/math] \vec{} 벡터 화살표 대신 볼드체로 표시하기도 한다.
align=center|[math]\displaystyle{ \overrightarrow{\phantom{AB}} }[/math]
[math]\displaystyle{ \overleftarrow{\phantom{AB}} }[/math]
\overrightarrow{}
\overleftarrow{}
반직선 [math]\displaystyle{ \overrightarrow{AB} }[/math]는 \(A\)에서 시작해 \(B\)로 뻗어나가는 반직선을 의미한다. 화살표 방향이 반대면 반직선 방향도 반대.
벡터 [math]\displaystyle{ \overrightarrow{AB} }[/math]는 시점이 \(A\), 종점이 \(B\)인 벡터를 나타낸다.
[math]\displaystyle{ \overleftrightarrow{\phantom{AB}} }[/math] \overleftrightarrow{} 직선
[math]\displaystyle{ \hat{\phantom{a}} }[/math] \hat{} 제외 [math]\displaystyle{ a_1a_2\cdots\hat{a_i}\cdots a_n }[/math]은 \(a_i\)만 제외한다는 뜻이다.
' 도함수
[math]\displaystyle{ \dot{\phantom{a}} }[/math] \dot{} 도함수

분야별 기호

특별한 이유가 없는 한, 중복되지 않은 것만 나열한다.

집합

기호 LaTeX 의미 설명
\emptyset 공집합
\cup 합집합
\cap 교집합
[math]\displaystyle{ \triangle }[/math] \triangle 대칭차집합 [math]\displaystyle{ A\triangle B=\left(A\setminus B\right)\cup\left(B\setminus A\right) }[/math]
[math]\displaystyle{ \uplus }[/math]
\uplus
\sqcup
분리합집합
[math]\displaystyle{ \phantom{A}^{\mathrm{C}} }[/math]
[math]\displaystyle{ \phantom{A}' }[/math]
\mathrm{C}
여집합
[math]\displaystyle{ \mathcal{P} }[/math] \mathcal{P} 멱집합

\in
\ni
원소 기호가 가르키는 방향이 집합이다.

\notin
\not\ni
원소가 아닌
[math]\displaystyle{ \mathbb{Z}^\cdot }[/math]
[math]\displaystyle{ \mathbb{Q}^\cdot }[/math]
[math]\displaystyle{ \mathbb{R}^\cdot }[/math]
\mathbb{Z}^{}
\mathbb{Q}^{}
\mathbb{R}^{}
수의 집합 • 대신에 +가 들어가면 양수만, −는 음수만, ≥0은 0과 양수만, ≤0은 0과 음수만, ×나 *은 0을 제외한 다른 수들을 모아놓은 집합을 의미한다.
[math]\displaystyle{ \mathbb{Z}^\times }[/math] \mathbb{Z}^\times 가역원의 집합 0을 제외한 정수를 의미하기도 하지만, 정수의 원소 중, 가역원만을 모아놓은 것을 의미하기도 한다. 이 경우, [math]\displaystyle{ \mathbb{Z}^\times=\left\{\pm1\right\} }[/math].
n(…) 원소의 개수 유한집합의 원소의 개수를 의미한다. 한국에서만 쓰이는 출처 불명의 기호.

논리학

해석학

선형대수학

추상대수학

기하학

기타