X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=pret-lam.lua;h=25f4f7a40c173f0a00e573e01434788f7ea0683c;hp=ed84d0a60eae09ecfaf10c8e4a0be6d7f541d77d;hb=76cd2b4d6bc5376f95c9bb9cd649e3f68f6f1d46;hpb=b11f541f7d0b67f2871f1c7fed731155b1808343

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