Add the ->> symbol to the lambda prettyprinter.

[matthijs/master-project/report.git] / pret-lam.lua

diff --git a/pret-lam.lua b/pret-lam.lua
index ed84d0a60eae09ecfaf10c8e4a0be6d7f541d77d..25f4f7a40c173f0a00e573e01434788f7ea0683c 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -21,6 +21,7 @@ local symbols = {
     -- (U+00A0).
     {symbol = ' ', repr = ' '},
     {symbol = '_', repr = '\\_'},
     -- (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
     {symbol = '->', repr = '→'},
     {symbol = '=>', repr = '⇒'},
     -- The default * sits very high above the baseline, \ast (u+2217) looks