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 5769a31..f14b962 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'},
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
+    ['~'] = {repr = '\\sim'},
 }
 
 
 }