From 3bc5509d94b45a3b0965d992d259091d3d822b42 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Fri, 28 Aug 2009 14:02:37 +0200
Subject: [PATCH] Support the | character in pret-lam.

---
 pret-lam.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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