如何制作xdotool类型的Unicode字符

我正在尝试创建一个快捷方式来发送,例如,通用量词符号∀(U + 2200)。 Xdotool 自己的文档并没有真正解释这一点。

对于上述符号,有两种选择:

  1. Xdotool生成角色并输入它:

    xdotool key U2200 
  2. shell(Bash)生成字符,Xdotool输入它:

     xdotool type $'\u2200'