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:

  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'