How to make xdotool type Unicode characters
I'm trying to make a shortcut to send, for example, the universal quantifier symbol, ∀ (U+2200). Xdotool's own documentation doesn't really explain this.
For the above symbol, there are two options:
-
Xdotool generates the character and types it:
xdotool key U2200 -
The shell (Bash) generates the character, and Xdotool types it:
xdotool type $'\u2200'