Unicode: Difference between revisions
Jump to navigation
Jump to search
(→Unicode symbols: Element Of, and variants) |
|||
Line 27: | Line 27: | ||
|↓ {{kbctrl|AltGr-U}} |
|↓ {{kbctrl|AltGr-U}} |
||
|↓ <code>&darr;</code> |
|↓ <code>&darr;</code> |
||
|- |
|||
|∈ |
|||
|0x2208 |
|||
|8712 |
|||
| |
|||
|↓ <code>&darr;</code> |
|||
|Element Of |
|||
|- |
|||
|∉ |
|||
|0x2209 |
|||
|8713 |
|||
| |
|||
|↓ <code>&darr;</code> |
|||
|Not An Element Of |
|||
|- |
|||
|∊ |
|||
|0x220A |
|||
|8714 |
|||
| |
|||
|↓ <code>&darr;</code> |
|||
|Small Element Of |
|||
|} |
|} |
||
Line 33: | Line 54: | ||
* In Gnome, see ''character maps'' (<code>gucharmap</code>) to get unicode hex code. |
* In Gnome, see ''character maps'' (<code>gucharmap</code>) to get unicode hex code. |
||
* In KDE, try ''KDE Character Selector'' (<code>KCharSelect</code>). |
* In KDE, try ''KDE Character Selector'' (<code>KCharSelect</code>). |
||
* In Windows, try ''Character Map''. Use '''Search for''' field to search characters with matching description (click ''Advanced view'') |
|||
== Tips == |
== Tips == |
Revision as of 12:39, 14 May 2014
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
).