From: Matthijs Kooijman Date: Mon, 27 Jul 2009 11:37:46 +0000 (+0200) Subject: Make ~ a symbol in lambda calculus. X-Git-Tag: final-thesis~311 X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=7478246c37601e71a6b64b1bb19c4d74e1b34ff3;p=matthijs%2Fmaster-project%2Freport.git Make ~ a symbol in lambda calculus. --- diff --git a/pret-lam.lua b/pret-lam.lua index 5769a31..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'}, }