Como criar caracteres Unicode do tipo xdotool

Question

Estou tentando criar um atalho para enviar, por exemplo, o símbolo do quantificador universal, ∀ (U + 2200). A documentação própria do Xdotool não explica isso.

    

Answer 1

Para o símbolo acima, existem duas opções:

1. Xdotool gera o caractere e o digita:

   xdotool key U2200
   

2. O shell (Bash) gera o caractere e Xdotool o digita:

   xdotool type $'\u2200'