Is there any easy and fast way to type the funny characters (like ⊛, ≟, ∘, ∨ etc) from Scalaz? (I am using Ubuntu 9.04)
migrated from stackoverflow.com May 2 '10 at 12:03
This question came from our site for professional and enthusiast programmers.
Try this -
Make sure that numlock is OFF
This is an old trick that worked in DOS with ASCII codes (without the
You may also want to try the method described here.
Why use these these symbols at all?
It's easier in Linux than in any other OS that I am aware of.
Check out this link for background/details: https://help.ubuntu.com/community/ComposeKey
First, you can hit Ctrl+Shift+U followed by with the Unicode code. For example, Ctrl+Shift+U + 2203 = ∃. That may not be so convenient, but you'll need it for the next step.
The better way is to use the compose key, AKA Multi_key. As described in the above article, you can compose characters with Multi_key + char1 + char2. For example, Multi_key ' e is é.
I find that the Caps Lock key makes a splendid Multi_key. You can set it with System Preferences -> Keyboard -> Layout -> Options.
To make your own compose key sequences. make a file ~/.XCompose and add entries such as
(using the Ctrl+Shift+U trick, or just with copy/paste)
Log out and in again (or, for testing, just run ssh -X localhost xterm).