From 7478246c37601e71a6b64b1bb19c4d74e1b34ff3 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Mon, 27 Jul 2009 13:37:46 +0200
Subject: [PATCH] Make ~ a symbol in lambda calculus.

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

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'},
 }
 
 
-- 
2.30.2