From 76cd2b4d6bc5376f95c9bb9cd649e3f68f6f1d46 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 9 Dec 2009 10:03:49 +0100
Subject: [PATCH] Add the ->> symbol to the lambda prettyprinter.

---
 pret-lam.lua | 1 +
 1 file changed, 1 insertion(+)

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
-- 
2.30.2