X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=pret-lam.lua;h=f14b962ba2cd162a8f9743e73aeef8e30b695776;hp=c05f987bd71747b26b23c7a31b8775e4d8db1974;hb=1108517b5c84c5fc7c8aa21ac60cd33e28487519;hpb=b5c7b3b79746ee07210d1b5b93bd0ce83b8e6d29 diff --git a/pret-lam.lua b/pret-lam.lua index c05f987..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'}, } @@ -62,7 +63,9 @@ end -- Take a single word from str, if posible. Returns the rest of the string and -- the word taken. function buffers.visualizers.lam.take_word(str) - res, newstr = utf.match(str, "^(%a[%a%d_]+)(.*)") + -- A word must always start with a-z (in particular, λ is not a valid + -- start of a word). + res, newstr = utf.match(str, "^([a-zA-Z][%a%d_]+)(.*)") return res, newstr or str end