Alex Hammel

Lambda and forall (and compose) are better handled by a concealer in the editor than a typeface, IMHO. +1 to all the rest, though.

@Fresheyeball What @i-tu said. It's an extension of syntax highlighting that replaces ascii characters with unicode in a context-sensitive way. Recent versions of Vim and Emacs can do that, and...

@semaperepelitsa: in vim, the feature is called 'conceal', and it's built in to recent versions. `:h conceal` will give you some general information. Extensions like [vim2hs](https://github.com/dag/vim2hs) make extensive use of...