From: Matthijs Kooijman Date: Wed, 9 Dec 2009 09:03:49 +0000 (+0100) Subject: Add the ->> symbol to the lambda prettyprinter. X-Git-Tag: final-thesis~15 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=76cd2b4d6bc5376f95c9bb9cd649e3f68f6f1d46;hp=b11f541f7d0b67f2871f1c7fed731155b1808343;p=matthijs%2Fmaster-project%2Freport.git Add the ->> symbol to the lambda prettyprinter. --- diff --git a/pret-lam.lua b/pret-lam.lua index ed84d0a..25f4f7a 100644 --- a/pret-lam.lua +++ b/pret-lam.lua @@ -21,6 +21,7 @@ local symbols = { -- (U+00A0). {symbol = ' ', repr = ' '}, {symbol = '_', repr = '\\_'}, + {symbol = '->>', repr = '\\twoheadrightarrow'}, {symbol = '->', repr = '→'}, {symbol = '=>', repr = '⇒'}, -- The default * sits very high above the baseline, \ast (u+2217) looks