Master/texmf-dist/fonts/source/public/fetamont/ffmchar_visiblespace.mf


1
2
3
4
5
6
7
8
9
10
11
12

ffmchar("visiblespace",6,ht#,comma_depth#);
lft x1=good.x(.5u+noise);
lft x2=good.x(.5u+noise);
rt x3=good.x(w-.5u+noise);
rt x4=good.x(w-.5u+noise);
top y1=o+noise;
top y4=o+noise;
bot y2=noise-d;
bot y3=noise-d;
draw z1--z2--z3--z4;
labels(1,2,3,4); 
endchar;