Custom text entry key bindings

OS X has a very nice text editing system, which you can extend using Key Bindings. You can, for instance:

• Set up special characters to be entered when you press a certain key command.
• Insert more than one character at once.
• Include navigation commands and change the selection.
• Use multi-stroke key bindings — this is how I type the ⌃⌥⇧⌘ characters.

To set this up, you just create the file ~/Library/KeyBindings/DefaultKeyBinding.dict and put your customizations there. This article describes the steps in detail.

Here's a list of the default key bindings, and here's Apple's official guide to the text system and key bindings.

Diacritics

If you're just looking to be able to type more diacritics, and you use a U.S. keyboard, consider using the U.S. Extended keyboard layout:

This allows you to type such characters as oòôȯóöơōṯțőo̊ɵỏọţǒŏõǫȏṵṷȍ. You can enable it from the Input Sources section of the Language & Text system preferences.

"Press and hold"

In Lion, you can type many special characters by holding down a similar key on your keyboard:

(It turns out this can be customized, if you're up to the task! All it takes is to edit a plist file.)

Arbitrary text substitutions

If you have specific phrases or characters you'd like to use, you can also set up custom substitutions for them in the Text section of Language & Text preferences:

Character palette

I guess you already know this, but I'll include it for completeness. If you enable "Keyboard & Character Viewer" in the Input Sources section of the Language & Text prefs, you can open the Character Viewer and browse through the entire Unicode character set (and you can also browse characters by category):

This window is easily accessible in most applications with ⌃+⌘+space (in older versions of OS X, the shortcut was ⌥+⌘+T).

You might want to try just defining ¬ as λ in system prefs/language & text/text/symbol and text substitutions. Normally you need to type a space or another character to get the switch, and there may be some apps it does not work in (Pages and Word have their own symbol and text substitution settings).