SAKAI Masahiro - Symbols Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= 論理
: TRUE
  {{e '#x22A8'}} U+22A8 \vDash
: NOT TRUE
  {{e '#x22AD'}} U+22AD \not\vDash
: MODELS
  {{e '#x22A7'}} U+22A7 \models
: RIGHT TACK
  {{e '#x22A2'}} U+22A2 \vdash
: DOES NOT PROVE
  {{e '#x22AC'}} U+22AC \not\vdash
: TOP LEFT CORNER
  {{e '#x231C'}} U+231C
: TOP RIGHT CORNER
  {{e '#x231D'}} U+231D
: LEFT RIGHT ARROW
  {{e '#x2194'}} U+2194 \leftrightarrow
: DOWNTACK (= top)
  {{e '#x22A4'}} U+22A4
: UPTACK (= base, bottom)
   {{e 'perp'}} U+22A5 ⊥ \bot
: TURNED GREEK SMALL LETTER IOTA (definite description)
  {{e '#x2129'}} U+2129 &#x2129; \riota (((<URL:http://johnmacfarlane.net/142/latex.html>)))

= 集合

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


= 不等号

: LESS-THAN OR EQUAL TO
  {{e '#x2264'}} U+2264
: GREATER-THAN OR EQUAL TO
  {{e '#x2265'}} U+2265

= 意味論

: LEFT WHITE SQUARE BRACKET
  {{e '#x301A'}} U+301A
: RIGHT WHITE SQUARE BRACKET
  {{e '#x301B'}} U+301B

: MATHEMATICAL LEFT WHITE SQUARE BRACKET
  {{e '#x27E6'}} U+27E6
: MATHEMATICAL RIGHT WHITE SQUARE BRACKET
  {{e '#x27E7'}} U+27E7

= 領域理論

: SQUARE IMAGE OF OR EQUAL TO
  {{e '#x2291'}} U+2291

: SQUARE ORIGINAL OF OR EQUAL TO
  {{e '#x2292'}} U+2292

: SQUARE CUP
  {{e '#x2294'}} U+2294

: N-ARY SQUARE UNION OPERATOR
  {{e '#x2A06'}} U+2A06

= チェックボックスなど
: BALLOT BOX
  {{e '#x2610'}} U+2610
: BALLOT BOX WITH CHECK
  {{e '#x2611'}} U+2611
: BALLOT BOX WITH X
  {{e '#x2612'}} U+2612
: CHECK MARK
  {{e '#x2713'}} U+2713 $\checkmark$ (amssymb)

TeXの場合
((<URL:http://tex.stackexchange.com/questions/16000/creating-boxed-check-mark>))

= applicative

: CIRCLED ASTERISK OPERATOR
  {{e '#x229b'}} U+229B \circledast

= その他

: WHITE RIGHT-POINTING TRIANGLE
  {{e '#x25b7'}} U+25b7

: WHITE LEFT-POINTING TRIANGLE
  {{e '#x25c1'}} U+25c1