From: Matthijs Kooijman <matthijs@stdin.nl>
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