Let pret-lam recognize the * symbol.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 14:47:45 +0000 (16:47 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Wed, 10 Jun 2009 14:47:45 +0000 (16:47 +0200)
pret-lam.lua

index c25daefb697c3cd08c7a15115c935a62a948cf42..7bb1f8a6cab40d376b1269db23381f39b8aa0f46 100644 (file)
@@ -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'},