Support the | character in pret-lam.
authorMatthijs Kooijman <matthijs@stdin.nl>
Fri, 28 Aug 2009 12:02:37 +0000 (14:02 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Fri, 28 Aug 2009 12:02:37 +0000 (14:02 +0200)
pret-lam.lua

index 2e70001..9bf5b96 100644 (file)
@@ -24,9 +24,9 @@ local symbols = {
     -- better.
     ['*'] = {repr = '\\ast'},
     ['~'] = {repr = '\\sim'},
+    ['|'] = {repr = '\\char' .. utf.byte('|')},
 }
 
-
 -- Keywords that should be bold
 local keywords = {
     ['case'] = {},