I would want the ASCII versions to still work. And yes, I didn't pick the greek letter lambda exactly because I think it's bad to pick that letter. E.g., if I were doing physics programming in Agda I'd want to use lambda for wavelengths. BTW, I think Agda2 is awesome. :) -- Lennart