Home / ubuntu / Questions / 591686
Accepted
wjandrea
Asked: 2015-03-02 20:14:16 +0800 CST

How to make xdotool type Unicode characters

  • 772

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.

unicode

1 Answers

  1. Best Answer

    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'
    • 11