X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;ds=inline;f=pret-lam.lua;h=7bb1f8a6cab40d376b1269db23381f39b8aa0f46;hb=f4487c5200e90a7b0d9db0319324335fd55e810b;hp=c25daefb697c3cd08c7a15115c935a62a948cf42;hpb=acb73f97bc84ec0445f364edf8264734c9413e9d;p=matthijs%2Fmaster-project%2Freport.git

diff --git a/pret-lam.lua b/pret-lam.lua
index c25daef..7bb1f8a 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -21,6 +21,9 @@ buffers.visualizers.lam.tokens = {
     [' '] = {repr = '\\obs '},
     ['_'] = {repr = '\\_'},
     ['->'] = {repr = '\\rightarrow'},
+    -- The default * sits very high above the baseline, \ast (u+2217) looks
+    -- better.
+    ['*'] = {repr = '\\ast'},
     ['case'] = {style = 'bold'},
     ['of'] = {style = 'bold'},
     ['let'] = {style = 'bold'},