Use a dotted lines to separate context in a transformation.

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index 1128c465044e3bd0c5769bea891acb935e0a7689..f1952eaffbeb31a56d0a992a8bb09b9d4a527502 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -22,6 +22,25 @@ draw b;
   {\setupMPvariables[HLine][#1]%
   \useMPgraphic{HLine}}
 
+\startuseMPgraphic{HDLine}
+path a, b;
+% Create a rectangle of the full size
+a := origin -- (\MPvar{width}, 0mm);
+% Randomize it a bit
+b := a randomized (\overlaywidth / 100) ;
+% And draw it
+drawoptions (withpen pencircle scaled .75mm withcolor black dashed evenly) ;
+draw b; 
+\stopuseMPgraphic
+
+% Draw a line with the given options. Accepts only the 'width' option. Be
+% careful that these are metapost options, so use \the\textwidth instead of
+% textwidth, and a metapost expression for arithmethic (e.g. 0.5 *
+% \the\textwidth instead of 0.5\textwidth).
+\def\HDLine[#1]%
+  {\setupMPvariables[HDLine][#1]%
+  \useMPgraphic{HDLine}}
+
 \startuseMPgraphic{box}
 path a, b;
 % Create a rectangle of the full size

diff --git a/pret-lam.lua b/pret-lam.lua
index 7058f620f01d5a8f2298418e9842f1137e86210b..568da7f565fbe7f28f7f63bf2f6986924baa418b 100644 (file)
--- a/pret-lam.lua
+++ b/pret-lam.lua
@@ -23,7 +23,7 @@ local symbols = {
     -- The default * sits very high above the baseline, \ast (u+2217) looks
     -- better.
     ['*'] = {repr = '\\ast'},
-    ['~'] = {repr = '\\sim'},
+    ['~'] = {repr = '\\HDLine[width=.20 * \\the\\textwidth]'},
     ['|'] = {repr = '\\char' .. utf.byte('|')},
 }