Unicode

Unicode symbols

Frequently used symbols:

←	0x2190	8592	← ^AltGr-Y	← ←
↑	0x2191	8593	↑ ^AltGr-Shift-U	↑ ↑
→	0x2192	8594	→ ^AltGr-I	→ →
↓	0x2193	8595	↓ ^AltGr-U	↓ ↓
∈	0x2208	8712		↓ ↓	Element Of
∉	0x2209	8713		↓ ↓	Not An Element Of
∊	0x220A	8714		↓ ↓	Small Element Of

How to find Unicode symbols:

• shapecatcher.com - unicode character recognition — draw the symbol with the mouse to find it!
• In Gnome, see character maps (gucharmap) to get unicode hex code.
• In KDE, try KDE Character Selector (KCharSelect).
• In Windows, try Character Map. Use Search for field to search characters with matching description (click Advanced view)

Tips

Inserting Unicode symbols in Linux

These are similar to Windows' Alt-key code.

• Ctrl-Shift-u, followed by unicode hexadecimal code while maintaining Ctrl-Shift (see [1])

Ex Ctrl-Shift-ue7 for ç, Ctrl-Shift-ue8 for è, Ctrl-Shift-ue9 for é...

• In Gnome, see character maps (gucharmap) to get unicode hex coce.
• In KDE, try KDE Character Selector (KCharSelect).