Document the Alt+X technique to type unicode symbols with the keyboard