よく使う記号

論理

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 &#x2129; \riota (<URL:http://johnmacfarlane.net/142/latex.html>)

集合

EMPTY SET
∅ U+2205 &empty; \emptyset
RIGHTWARDS HARPOON WITH BARB UPWARDS (部分関数)
⇀ U+21C0
RIGHTWARDS ARROW FROM BAR
↦ U+21A6 &#x21a6; \mapsto
SET MINUS
∖ U+2216 &#x2216; \setminus
NOT AN ELEMENT OF
∉ U+2209 &#x2209 &notin;

applicative

CIRCLED ASTERISK OPERATOR
⊛ U+229B \circledast
Last modified:2015/11/27 20:25:28
Keyword(s):
References: