κ΄κ³
μ λ ₯ λͺ λ Ή |
μμ μμ μ°½μ κΈ°νΈ |
μλ―Έ |
< λλ lt |
|
μμ |
<< λλ ll |
ν¨μ¬ μμ |
|
<= λλ le |
|
μκ±°λ κ°μ |
<> λλ neq |
|
κ°μ§ μμ |
= |
|
λ±μ |
> λλ gt |
|
νΌ |
>= λλ ge |
|
ν¬κ±°λ κ°μ |
>> λλ gg |
ν¨μ¬ νΌ |
|
approx |
|
κ±°μ κ°μ |
def |
μ μλ¨/μ μμ κ°μ |
|
divides |
|
λλκΈ° |
dlarrow |
|
μΌμͺ½μ μ΄μ€μ μ΄ μλ νμ΄ν |
dlrarrow |
|
μΌμͺ½ λ° μ€λ₯Έμͺ½μ μ΄μ€μ μ΄ μλ νμ΄ν |
drarrow |
|
μ€λ₯Έμͺ½μ μ΄μ€μ μ΄ μλ νμ΄ν |
equiv |
|
μ§μ ν 쑰건과 κ°μ/ν©λ |
geslant |
|
ν¬κ±°λ κ°μ |
leslant |
|
μκ±°λ κ°μ |
ndivides |
|
λλμ§ μμ |
ortho |
|
μ§κ° |
parallel |
|
νν |
prop |
|
λΉλ‘ |
sim |
|
μ μ¬νλ€ |
simeq |
|
μ μ¬νκ±°λ κ°λ€ |
toward |
|
μ κ·Ό |
prec |
|
μ νν¨ |
nprec |
|
μ ννμ§ μμ |
succ |
|
ννν¨ |
nsucc |
|
νννμ§ μμ |
preccurlyeq |
|
λΆλΆμ§ν©μ΄κ±°λ κ°λ€ |
succcurlyeq |
|
λΆλΆμ§ν©μ΄κ±°λ κ°λ€ |
precsim |
|
λΆλΆμ§ν©μ΄κ±°λ κ°λ€ |
succsim |
|
λΆλΆμ§ν©μ΄κ±°λ κ°λ€ |
transl |
μμ κΈ°νΈ μ΄λ―Έμ§ |
|
transr |
μμ κΈ°νΈ μλ³Έ |