Symbol | Use |
---|---|
∘ |
Function composition |
≡ |
Congurence |
⋀ |
N-ary logic AND |
⋁ |
N-ary logic OR |
∑ |
N-ary summation |
⨊ |
N-ary modulo 2 sum |
∏ |
N-ary product |
∐ |
N-ary coproduct |
ℇ |
Euler constant |
≈ |
Almost equal to |
⩰ |
Approximately equal or equal to |
⌈ ⌉ |
Ceiling |
⌊ ⌋ |
Floor |
∫ |
Integral |
∬ |
Double integral |
∭ |
Triple integral |
⨌ |
Quadruple integral |
⨯ |
Cross product of vectors |
∂ |
Partial differential |
′ |
Prime |
″ |
Double prime |
‴ |
Triple prime |
± |
Plus-minus |
∓ |
Minus-plus |
⟂ |
Perpendicular |
‖ |
Parallel |
∝ |
Proportional to |
¬ |
Not |
⊨ |
True (not 'models') |
⊭ |
not true |
∀ |
forall |
∃ |
exists |
∄ |
doesn't exist |
∴ |
therefore |
∵ |
because |
⊦ |
proves |
⊬ |
doesn't prove |
⊧ |
Models |
≝ |
Equality by definition |
⊄ |
Not proper subset |
⊆ |
Subset or equal to |
⊊ |
Not subset or equal to |
∉ |
Not an element of |
⟦ |
Semantics ⟦ |
⟧ |
Semantics ⟧ |
↪ |
Eval |
↠ |
Transitive closure of redn |
⊑ |
≈ ≉
≋
≅ ≇
≡ ≢
= ≠
≔ ≜ ≝
≤ ≰
≥ ≱
≺ ⊀
≻ ⊁
≼ ⋠
≽ ⋡
⊂ ⊄
⊃ ⊅
⊆ ⊈
⊇ ⊉
⊏ ⋢
⊐ ⋣
⊑ ⋢
⊒ ⋣
⊔
⊓
⊎ ⨄
⊢ ⊬
⊨ ⊭
⊭ ⊨ ⊧
⊩
⊬ ⊦
∄ ∃
↔ ↮
⇔
⊕ ⊙
⊃ ∥
⇒ →
Logic binary operators
—
⊹ ✠ ⧾
▽ ▶
⋆ ∘ ⋅
Symbol | Use |
---|---|
⊕ | XOR |
Symbol | Use |
---|---|
¢ | Cents (Ct) |
⎧ ⎫
⎮ ⎮
⎨ ⎬
⎮ ⎮
⎩ ⎭
⎡ ⎤ ⎛ ⎞
⎢ ⎥ ⎜ ⎟
⎣ ⎦ ⎝ ⎠
▀ | top only |
▌ | left only |
█ | full block |
▐ | right only |
▄ | bottom only |
| | | Vert light | Vert heavy |
| Light | Heavy | hori heavy | hori light |
|-------+-------+------------+------------|
| ┌─┬─┐ | ┏━┳━┓ | ┍━┯━┑ | ┎─┰─┒ |
| │ │ │ | ┃ ┃ ┃ | │ │ │ | ┃ ┃ ┃ |
| ├─┼─┤ | ┣━╋━┫ | ┝━┿━┥ | ┠─╂─┨ |
| │╱│╲│ | ┃ ┃ ┃ | │ │ │ | ┃ ┃ ┃ |
| └─┴─┘ | ┗━┻━┛ | ┕━┷━┙ | ┖─┸─┚ |
|-------+-------+------------+------------|
| aa | AA | aA | Aa |
| | Vert light | Vert heavy |
| Heavy | hori heavy | hori light |
|-------+------------+------------|
| ╔═╦═╗ | ╒═╤═╕ | ╓─╥─╖ |
| ║ ║ ║ | │ │ │ | ║ ║ ║ |
| ╠═╬═╣ | ╞═╪═╡ | ╟─╫─╢ |
| ║ ║ ║ | │ │ │ | ║ ║ ║ |
| ╚═╩═╝ | ╘═╧═╛ | ╙─╨─╜ |
→ ⇒
↗ ↘ ⇗ ⇘
↑ ↓ ⇑ ⇓
↖ ↙ ⇖ ⇙
← ⇐
🡒 🡢 🡪
🡕 🡖 🡥 🡦 🡭 🡮
🡑 🡓 🡡 🡣 🡩 🡫
🡔 🡗 🡤 🡧 🡬 🡯
🡐 🡠 🡨
⇀
⇁
↿↾ ⇃⇂
↼
↽
⮪ ⮫
⮬ ⮯ ⮮ ⮭
⮨ ⮩
⮳⮷ ⮶⮲
⮴⮰ ⮱⮵
↱↰ ⮦⮧ ⮣⮢ ⮎⮌ ⮏
↳↲ ⮤⮥ ⮡⮠ ⮍
↦ ⇉ ⇢ ⇨
↥ ↧ ⇊ ⇈ ⇡ ⇣ ⇧ ⇩
↤ ⇇ ⇠ ⇦
⮉ ⮙ ⮝ ⯅
⮈ ⮊ ⮘ ⮚ ⮜ ⮞ ⯇ ⯈
⮋ ⮛ ⮟ ⯆
△ ▵
◁ ▷ ◃ ▹
▽ ▿
◢ ◣ ◿ ◺
◥ ◤ ◹ ◸
◭ ⧨
◮ ⧩
↜ ↝ ↭
⇄ ⇅ ⇆
⤨
⤧ ⤩
⤪
---
⤮ ⤭ ⤫ ⤬
⤲ ⤱ ⤰ ⤯
https://en.wikipedia.org/wiki/Combining_character
Summation:
⎲
⎳
Product:
k
┬─┬
│ │ aᵢCbᵢ
i=0
Square root (multi-line):
------------
/
/
√
Diode: ─▶⊢─
┌───────▶├─────┐ ┌──────┤├──────┐
│ │ │ │
│ ┴ ┴ ┴
▼ ▲ ┬ ┬
┬ │ │ │
│ │ └──────┤├──────┘
└──────┤◀──────┘
—
Also found ascii-art circuits at: https://www.qsl.net/yo5ofh/hobby%20circuits/ascii.htm
Normal: ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz
mathsfbf: 𝗔𝗕𝗖𝗗𝗘𝗙𝗚𝗛𝗜𝗝𝗞𝗟𝗠𝗡𝗢𝗣𝗤𝗥𝗦𝗧𝗨𝗩𝗪𝗫𝗬𝗭𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇
mathbf: 𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙𝐚𝐛𝐜𝐝𝐞𝐟𝐠𝐡𝐢𝐣𝐤𝐥𝐦𝐧𝐨𝐩𝐪𝐫𝐬𝐭𝐮𝐯𝐰𝐱𝐲𝐳
mathsf: 𝖠𝖡𝖢𝖣𝖤𝖥𝖦𝖧𝖨𝖩𝖪𝖫𝖬𝖭𝖮𝖯𝖰𝖱𝖲𝖳𝖴𝖵𝖶𝖷𝖸𝖹𝖺𝖻𝖼𝖽𝖾𝖿𝗀𝗁𝗂𝗃𝗄𝗅𝗆𝗇𝗈𝗉𝗊𝗋𝗌𝗍𝗎𝗏𝗐𝗑𝗒𝗓
mathbb: 𝔸𝔹𝔻𝔼𝔽𝔾𝕀𝕁𝕂𝕃𝕄𝕆𝕊𝕋𝕌𝕍𝕎𝕏𝕐𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛𝕜𝕝𝕞𝕟𝕠𝕡𝕢𝕣𝕤𝕥𝕦𝕧𝕨𝕩𝕪𝕫
mathfrak: 𝔄𝔅𝔇𝔈𝔉𝔊𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔𝔖𝔗𝔘𝔙𝔚𝔛𝔜𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷
mbffrak: 𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟
mathsfit: 𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻
mathsfbfit: 𝘼𝘽𝘾𝘿𝙀𝙁𝙂𝙃𝙄𝙅𝙆𝙇𝙈𝙉𝙊𝙋𝙌𝙍𝙎𝙏𝙐𝙑𝙒𝙓𝙔𝙕𝙖𝙗𝙘𝙙𝙚𝙛𝙜𝙝𝙞𝙟𝙠𝙡𝙢𝙣𝙤𝙥𝙦𝙧𝙨𝙩𝙪𝙫𝙬𝙭𝙮𝙯
mathbfit: 𝑨𝑩𝑪𝑫𝑬𝑭𝑮𝑯𝑰𝑱𝑲𝑳𝑴𝑵𝑶𝑷𝑸𝑹𝑺𝑻𝑼𝑽𝑾𝑿𝒀𝒁𝒂𝒃𝒄𝒅𝒆𝒇𝒈𝒉𝒊𝒋𝒌𝒍𝒎𝒏𝒐𝒑𝒒𝒓𝒔𝒕𝒖𝒗𝒘𝒙𝒚𝒛
mathcal: 𝒜𝒞𝒟𝒢𝒥𝒦𝒩𝒪𝒫𝒬𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵𝒶𝒷𝒸𝒹𝒻𝒽𝒾𝒿𝓀𝓁𝓂𝓃𝓅𝓆𝓇𝓈𝓉𝓊𝓋𝓌𝓍𝓎𝓏
mbfscr: 𝓐𝓑𝓒𝓓𝓔𝓕𝓖𝓗𝓘𝓙𝓚𝓛𝓜𝓝𝓞𝓟𝓠𝓡𝓢𝓣𝓤𝓥𝓦𝓧𝓨𝓩𝓪𝓫𝓬𝓭𝓮𝓯𝓰𝓱𝓲𝓳𝓴𝓵𝓶𝓷𝓸𝓹𝓺𝓻𝓼𝓽𝓾𝓿𝔀𝔁𝔂𝔃
normal: 0123456789
mathtt: 𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿
mathbf: 𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗
mathbb: 𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡
mathsf: 𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫
mathsfbf: 𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵
superscript: ⁰¹²³⁴⁵⁶⁷⁸⁹
subscript: ₀₁₂₃₄₅₆₇₈₉
🙂 | Slight smile |
😂 | tears of joy |
🥴 | woozy face |
😄 | Smile open mouth closed eyes |
😃 | Smile open mouth open eyes |
🥱 | Yawn |
😅 | Sweat smile |
😁 | 'Toothy smile' |
😬 | Grimace |
👋 | Wave |
👌 | Chef kiss |
👍 | Thumbs up |
👏 | Clap |
Reference: https://emojipedia.org/people/
Unwanted in normal text files.
‘
: Begin quote’
: End quote’
: apostrophe“
: Begin quote”
: End quote–
: dashMore: