Add the ->> symbol to the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:03:49 +0000 (10:03 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 9 Dec 2009 09:03:49 +0000 (10:03 +0100)
pret-lam.lua

index ed84d0a..25f4f7a 100644 (file)
@@ -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