Useful unicode


Math symbols

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

⊹ ✠ ⧾
▽ ▶
⋆ ∘ ⋅

Boolean operations

Symbol Use
XOR

General

Symbol Use
¢ Cents (Ct)

Brackets

⎧ ⎫    
⎮ ⎮    
⎨ ⎬    
⎮ ⎮    
⎩ ⎭    


⎡ ⎤    ⎛  ⎞
⎢ ⎥    ⎜  ⎟
⎣ ⎦    ⎝  ⎠

Block characters

top only
left only
full block
right only
bottom only

Box-drawing

|       |       | Vert light | Vert heavy |
| Light | Heavy | hori heavy | hori light |
|-------+-------+------------+------------|
| ┌─┬─┐ | ┏━┳━┓ | ┍━┯━┑      | ┎─┰─┒      |
| │ │ │ | ┃ ┃ ┃ | │ │ │      | ┃ ┃ ┃      |
| ├─┼─┤ | ┣━╋━┫ | ┝━┿━┥      | ┠─╂─┨      |
| │╱│╲│ | ┃ ┃ ┃ | │ │ │      | ┃ ┃ ┃      |
| └─┴─┘ | ┗━┻━┛ | ┕━┷━┙      | ┖─┸─┚      |
|-------+-------+------------+------------|
| aa    | AA    | aA         | Aa         |
|       | Vert light | Vert heavy |
| Heavy | hori heavy | hori light |
|-------+------------+------------|
| ╔═╦═╗ | ╒═╤═╕      | ╓─╥─╖      |
| ║ ║ ║ | │ │ │      | ║ ║ ║      |
| ╠═╬═╣ | ╞═╪═╡      | ╟─╫─╢      |
| ║ ║ ║ | │ │ │      | ║ ║ ║      |
| ╚═╩═╝ | ╘═╧═╛      | ╙─╨─╜      |

Arrows

   →           ⇒        
 ↗   ↘       ⇗   ⇘       
↑     ↓     ⇑     ⇓       
 ↖   ↙       ⇖   ⇙       
   ←           ⇐               
   🡒         🡢           🡪    
 🡕   🡖      🡥  🡦       🡭  🡮     
🡑     🡓    🡡   🡣      🡩   🡫     
 🡔   🡗      🡤  🡧       🡬  🡯     
   🡐         🡠          🡨     
    ⇀
    ⇁
↿↾     ⇃⇂
    ↼
    ↽     
  ⮪         ⮫  
⮬   ⮯      ⮮  ⮭   
  ⮨         ⮩                                     
⮳⮷    ⮶⮲
⮴⮰    ⮱⮵
↱↰    ⮦⮧  ⮣⮢   ⮎⮌  ⮏
↳↲    ⮤⮥  ⮡⮠        ⮍
 ↦      ⇉       ⇢      ⇨
↥ ↧    ⇊ ⇈     ⇡ ⇣    ⇧ ⇩   
 ↤      ⇇       ⇠      ⇦      
  ⮉      ⮙       ⮝       ⯅    
⮈  ⮊  ⮘   ⮚   ⮜  ⮞   ⯇  ⯈    
  ⮋      ⮛       ⮟       ⯆    
  △        ▵   
◁   ▷     ◃ ▹  
  ▽        ▿   
◢ ◣    ◿ ◺
◥ ◤    ◹ ◸
◭ ⧨
◮ ⧩
↜ ↝ ↭

⇄ ⇅ ⇆
 ⤨         
⤧ ⤩         
 ⤪         

--- 

⤮ ⤭      ⤫ ⤬
⤲ ⤱      ⤰ ⤯

Combining

https://en.wikipedia.org/wiki/Combining_character

Other

Summation:

⎲
⎳

Made-up stuff

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

Letters and numbers

    Normal: ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz
  mathsfbf: 𝗔𝗕𝗖𝗗𝗘𝗙𝗚𝗛𝗜𝗝𝗞𝗟𝗠𝗡𝗢𝗣𝗤𝗥𝗦𝗧𝗨𝗩𝗪𝗫𝗬𝗭𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇
    mathbf: 𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙𝐚𝐛𝐜𝐝𝐞𝐟𝐠𝐡𝐢𝐣𝐤𝐥𝐦𝐧𝐨𝐩𝐪𝐫𝐬𝐭𝐮𝐯𝐰𝐱𝐲𝐳
    mathsf: 𝖠𝖡𝖢𝖣𝖤𝖥𝖦𝖧𝖨𝖩𝖪𝖫𝖬𝖭𝖮𝖯𝖰𝖱𝖲𝖳𝖴𝖵𝖶𝖷𝖸𝖹𝖺𝖻𝖼𝖽𝖾𝖿𝗀𝗁𝗂𝗃𝗄𝗅𝗆𝗇𝗈𝗉𝗊𝗋𝗌𝗍𝗎𝗏𝗐𝗑𝗒𝗓
    mathbb: 𝔸𝔹𝔻𝔼𝔽𝔾𝕀𝕁𝕂𝕃𝕄𝕆𝕊𝕋𝕌𝕍𝕎𝕏𝕐𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛𝕜𝕝𝕞𝕟𝕠𝕡𝕢𝕣𝕤𝕥𝕦𝕧𝕨𝕩𝕪𝕫
  mathfrak: 𝔄𝔅𝔇𝔈𝔉𝔊𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔𝔖𝔗𝔘𝔙𝔚𝔛𝔜𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷
   mbffrak: 𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟
  mathsfit: 𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻
mathsfbfit: 𝘼𝘽𝘾𝘿𝙀𝙁𝙂𝙃𝙄𝙅𝙆𝙇𝙈𝙉𝙊𝙋𝙌𝙍𝙎𝙏𝙐𝙑𝙒𝙓𝙔𝙕𝙖𝙗𝙘𝙙𝙚𝙛𝙜𝙝𝙞𝙟𝙠𝙡𝙢𝙣𝙤𝙥𝙦𝙧𝙨𝙩𝙪𝙫𝙬𝙭𝙮𝙯
  mathbfit: 𝑨𝑩𝑪𝑫𝑬𝑭𝑮𝑯𝑰𝑱𝑲𝑳𝑴𝑵𝑶𝑷𝑸𝑹𝑺𝑻𝑼𝑽𝑾𝑿𝒀𝒁𝒂𝒃𝒄𝒅𝒆𝒇𝒈𝒉𝒊𝒋𝒌𝒍𝒎𝒏𝒐𝒑𝒒𝒓𝒔𝒕𝒖𝒗𝒘𝒙𝒚𝒛
   mathcal: 𝒜𝒞𝒟𝒢𝒥𝒦𝒩𝒪𝒫𝒬𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵𝒶𝒷𝒸𝒹𝒻𝒽𝒾𝒿𝓀𝓁𝓂𝓃𝓅𝓆𝓇𝓈𝓉𝓊𝓋𝓌𝓍𝓎𝓏
    mbfscr: 𝓐𝓑𝓒𝓓𝓔𝓕𝓖𝓗𝓘𝓙𝓚𝓛𝓜𝓝𝓞𝓟𝓠𝓡𝓢𝓣𝓤𝓥𝓦𝓧𝓨𝓩𝓪𝓫𝓬𝓭𝓮𝓯𝓰𝓱𝓲𝓳𝓴𝓵𝓶𝓷𝓸𝓹𝓺𝓻𝓼𝓽𝓾𝓿𝔀𝔁𝔂𝔃



     normal: 0123456789
     mathtt: 𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿
     mathbf: 𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗  
     mathbb: 𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡  
     mathsf: 𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫  
   mathsfbf: 𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵  
superscript: ⁰¹²³⁴⁵⁶⁷⁸⁹
  subscript: ₀₁₂₃₄₅₆₇₈₉

Interesting stuff

Equality

Emojis

🙂 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 characters

Unwanted in normal text files.

References

More: