From f4487c5200e90a7b0d9db0319324335fd55e810b Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Wed, 10 Jun 2009 16:47:45 +0200
Subject: [PATCH] Let pret-lam recognize the * symbol.

---
 pret-lam.lua | 3 +++
 1 file changed, 3 insertions(+)

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'},
-- 
2.30.2