How to make xdotool type Unicode characters

Question

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.

Answer 1

For the above symbol, there are two options:

1. Xdotool generates the character and types it:

   xdotool key U2200
   

2. The shell (Bash) generates the character, and Xdotool types it:

   xdotool type $'\u2200'
   

Answer 2

What I ended up doing is:

echo -n "${TEXT}"|xsel -b
xdotool key ctrl+v

This fills the mouse buffer, then pastes it.