Hacker News Reader

my hot take: the language should accept \, but formatters should replace it with λ

Lean does symbols very well. You can just type \r and it will replace it with a right arrow as you type.