Unicode文字まとめ
まとめwint.icon
たまに よく使う ヤツら
記号のコピペ用
table:unicode-chars
emoji 🙇 🤔 😢 🥺
eq ≈ ≅ ≟
set ⊊ ⊋ ⊄ ⊅
pipe ▷ ∘
def ≝ ≔ ≕
bar ¦ ￤
bullet • ‣ › ⁃ ◦
logic ⊢ ⊣ ⊥ ⊤ ⊢ ⊨ ⇏ ⊬ ⊭ ∄
arrows ↔️ ↤ ↦ ⇄ ⇆ ⇋ ⇌
rel ⋚ ≤ ≥
bin-op ⊻ ⊽ ⊼
横線（まぎらわしい）
table:bar
– en dash U+2013
— em dash U+2014
― ダッシュ, Horizontal Bar U+2015
⎯ 横線 延長 U+23AF
─ 罫線 横 U+2500
- 半角ハイフンマイナス
‐ 全角ハイフン
－ 全角ハイフンマイナス
− 全角マイナス
‒ フィギュアダッシュ
— 全角ダッシュ
– 二分ダッシュ
― ホリゾンタルバー
ー 全角長音
ｰ 半角長音
─ 罫線
━ 罫線（太い）
一 いち
縦棒も まぎらわしい
table:vbar
| 半角 |
｜ 全角
∣ 割り切る
l lower L
│ 罫線 │
┃ 罫線（太字）
︱ PRESENTATION FORM FOR VERTICAL EM DASH
写像
単射: ↪ ↣
全射: ↠
全単射: ↔
プライム・ダッシュ・アポストロフィー
これも まぎらわしい
table:prime,apostrophe
' U+0027 ASCII apostrophe
＇ U+FF07 全角 apostrophe
ʼ U+02BC 音声学 apostrophe
’ U+2019 アポストロフィ quote right
ʹ U+02B9 Modifier Letter Prime
′ U+2032 分 Prime
″ U+2033 秒 Double Prime
論理
メイン: ⊢⊨
なぜかカテゴリー違い
22A2 ⊢ RIGHT TACK
∈ Operators
22A8 ⊨ TRUE
∈ Relations
こっちは使わない: ⊦⊧
グリフが短いだけで意味が重複してる。なぜあるんだ？
Relations:
22A6 ⊦ ASSERTION
22A7 ⊧ MODELS
ref.
括弧
山括弧 = angle brackets
table:angle
〈 ⟨
〉 ⟩
変換
「なきがお」で😢が出るIMEもある。
「どげざ」「おじぎ」で🙇
「いのり」で🙏🤲🛐
ローマ数字
table:list
Upper Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ
lower ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
合字
分数: ⁄
e.g. 1⁄3, 123⁄456
線形代数
ᵀ
U+1D40
e.g. Aᵀ
対応してない端末が ある。
解析
∫ integral
∮ contour integral
言語
集合（数学）
補集合 ∁
直積集合
ℝ²
ℝ³
確率
⫫
⫫
条件つき独立
ないし独立
ref.