Make ~ a symbol in lambda calculus.

diff --git a/pret-lam.lua b/pret-lam.lua
index 5769a312d94af372d5f319e8300c4550a8cbe3a1..f14b962ba2cd162a8f9743e73aeef8e30b695776 100644 (file)
--- 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'},
 }