Yeah, I'm using this for λ and ∀: /* -*- coding: utf-8 -*- */ { "~/" = ("insertText:", "λ"); "~a" = ("insertText:", "∀ "); } It looks like

Yeah, I'm using this for λ and ∀: /* -*- coding: utf-8 -*- */ { "~/" = ("insertText:", "λ"); "~a" = ("insertText:", "∀ "); } It looks like you can actually send arbitrary objectiveC messages to the first responder with this, but I haven't played with it much. (I'm also now using the `fn` key to toggle between greek and US.)