-- better.
['*'] = {repr = '\\ast'},
['~'] = {repr = '\\sim'},
+ ['|'] = {repr = '\\char' .. utf.byte('|')},
}
-
-- Keywords that should be bold
local keywords = {
['case'] = {},
end
local in_block = 0
+local submatches = {}
+local bases = {}
-- Mark the begin of a block of lambda formatted buffers or expressions. This
-- means that, until you call end_of_block again, the subscript bases are