Add a new verbatim environment
Prettify some symbols (lambdas)