Support the | character in pret-lam.

[matthijs/master-project/report.git] / pret-lam.lua

diff --git a/pret-lam.lua b/pret-lam.lua
index 2e70001aa90ff6971f7ff89c946a2f390a22b0ba..9bf5b96bd390d922b2e1ec8f58ce4956706d5dd5 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -24,9 +24,9 @@ local symbols = {
     -- better.
     ['*'] = {repr = '\\ast'},
     ['~'] = {repr = '\\sim'},
     -- better.
     ['*'] = {repr = '\\ast'},
     ['~'] = {repr = '\\sim'},

+    ['|'] = {repr = '\\char' .. utf.byte('|')},

 }
 
 }
 

-

 -- Keywords that should be bold
 local keywords = {
     ['case'] = {},
 -- Keywords that should be bold
 local keywords = {
     ['case'] = {},