X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=pret-lam.lua;h=f14b962ba2cd162a8f9743e73aeef8e30b695776;hp=cf50e87408e1d880d98b2c506a4207879431b2ad;hb=1108517b5c84c5fc7c8aa21ac60cd33e28487519;hpb=0028507a3d326add5d45d20cfe750ef964d9b3f0

diff --git a/pret-lam.lua b/pret-lam.lua
index cf50e87..f14b962 100644
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -25,6 +25,7 @@ buffers.visualizers.lam.symbols = {
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
+    ['~'] = {repr = '\\sim'},
 }
 
 
@@ -64,7 +65,7 @@ end
 function buffers.visualizers.lam.take_word(str)
         -- A word must always start with a-z (in particular, λ is not a valid
         -- start of a word).
-        res, newstr = utf.match(str, "^([a-z][%a%d_]+)(.*)")
+        res, newstr = utf.match(str, "^([a-zA-Z][%a%d_]+)(.*)")
         return res, newstr or str
 end