よく使う記号
論理
- TRUE
- ⊨ U+22A8 \vDash
- NOT TRUE
- ⊭ U+22AD \not\vDash
- MODELS
- ⊧ U+22A7 \models
- RIGHT TACK
- ⊢ U+22A2 \vdash
- DOES NOT PROVE
- ⊬ U+22AC \not\vdash
- TOP LEFT CORNER
- ⌜ U+231C
- TOP RIGHT CORNER
- ⌝ U+231D
- LEFT RIGHT ARROW
- ↔ U+2194 \leftrightarrow
- DOWNTACK (= top)
- ⊤ U+22A4
- UPTACK (= base, bottom)
- ⊥ U+22A5 ⊥ \bot
- TURNED GREEK SMALL LETTER IOTA (definite description)
- ℩ U+2129 ℩ \riota (<URL:http://johnmacfarlane.net/142/latex.html>)
集合
- EMPTY SET
- ∅ U+2205 ∅ \emptyset
- RIGHTWARDS HARPOON WITH BARB UPWARDS (部分関数)
- ⇀ U+21C0
- RIGHTWARDS ARROW FROM BAR
- ↦ U+21A6 ↦ \mapsto
- SET MINUS
- ∖ U+2216 ∖ \setminus
- NOT AN ELEMENT OF
- ∉ U+2209 ∉ ∉
不等号
- LESS-THAN OR EQUAL TO
- ≤ U+2264
- GREATER-THAN OR EQUAL TO
- ≥ U+2265
意味論
- LEFT WHITE SQUARE BRACKET
- 〚 U+301A
- RIGHT WHITE SQUARE BRACKET
- 〛 U+301B
- MATHEMATICAL LEFT WHITE SQUARE BRACKET
- ⟦ U+27E6
- MATHEMATICAL RIGHT WHITE SQUARE BRACKET
- ⟧ U+27E7
領域理論
- SQUARE IMAGE OF OR EQUAL TO
- ⊑ U+2291
- SQUARE ORIGINAL OF OR EQUAL TO
- ⊒ U+2292
- SQUARE CUP
- ⊔ U+2294
- N-ARY SQUARE UNION OPERATOR
- ⨆ U+2A06
チェックボックスなど
- BALLOT BOX
- ☐ U+2610
- BALLOT BOX WITH CHECK
- ☑ U+2611
- BALLOT BOX WITH X
- ☒ U+2612
- CHECK MARK
- ✓ U+2713 $\checkmark$ (amssymb)
TeXの場合 <URL:http://tex.stackexchange.com/questions/16000/creating-boxed-check-mark>
applicative
- CIRCLED ASTERISK OPERATOR
- ⊛ U+229B \circledast
その他
- WHITE RIGHT-POINTING TRIANGLE
- ▷ U+25b7
- WHITE LEFT-POINTING TRIANGLE
- ◁ U+25c1
Keyword(s):
References: