Make ~ a symbol in lambda calculus.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:37:46 +0000 (13:37 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Mon, 27 Jul 2009 11:37:46 +0000 (13:37 +0200)
pret-lam.lua

index 5769a312d94af372d5f319e8300c4550a8cbe3a1..f14b962ba2cd162a8f9743e73aeef8e30b695776 100644 (file)
@@ -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'},
 }