Translate to Unicode after newline and tab, ignore ( and )

[andrejbauer]

The automatic translation to unicode should work also when user presses Enter and Tab, ( or ), not just Space. It should consider ( and ) as delimiters -- they are not part of the words. For instance, if I type:

g : (N -> N) -> N
g _ = zero

then all three Ns should become ℕ (I am not really sure about this particular translation).