Use a dotted lines to separate context in a transformation.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 6 Oct 2009 08:36:49 +0000 (10:36 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 6 Oct 2009 08:36:49 +0000 (10:36 +0200)
Utils/Lambda.tex
pret-lam.lua

index 1128c46..f1952ea 100644 (file)
@@ -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
index 7058f62..568da7f 100644 (file)
@@ -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('|')},
 }