1 vardef CommandeVide(expr commande)=
5 label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
10 cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
11 (llcorner texto+(0.375cm,0)+(-eb,-eb))--
12 (llcorner texto+(0.375cm,0)+(0,-2eb))--
13 (llcorner texto+(0.625cm,0)+(0,-2eb))--
14 (llcorner texto+(0.625cm,0)+(eb,-eb))--
15 (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
16 (ulcorner texto+(0.625cm,0)+(eb,eb))--
17 (ulcorner texto+(0.625cm,0))--
18 (ulcorner texto+(0.375cm,0))--
19 (ulcorner texto+(0.375cm,0)+(-eb,eb))--
20 (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
21 fill cadre withcolor white;
24 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
25 _coinprec:=llcorner $;
26 _coinprec:=_coinprec+(0,eb);
30 vardef LigneVide(expr commande)=
34 label.lrt(LATEX("\Large "&if numeric commande:decimal(commande) else: commande fi&""),if unknown _coinprec: (0,0) else:_coinprec fi);
38 cadre=(llcorner texto+(-eb,0))--(llcorner texto+(0,-eb))--
39 (llcorner texto+(0.375cm,0)+(-eb,-eb))--
40 (llcorner texto+(0.375cm,0)+(0,-2eb))--
41 (llcorner texto+(0.625cm,0)+(0,-2eb))--
42 (llcorner texto+(0.625cm,0)+(eb,-eb))--
43 (lrcorner texto+(0,-eb))--(lrcorner texto+(eb,0))--(urcorner texto+(eb,0))--(urcorner texto+(0,eb))--
44 (ulcorner texto+(0.625cm,0)+(eb,eb))--
45 (ulcorner texto+(0.625cm,0))--
46 (ulcorner texto+(0.375cm,0))--
47 (ulcorner texto+(0.375cm,0)+(-eb,eb))--
48 (ulcorner texto+(0,eb))--(ulcorner texto+(-eb,0))--cycle;
49 fill cadre withcolor white;
51 $=TEXT shifted (if unknown _coinprec:(0,0) else :_coinprec fi - ulcorner TEXT);
52 _coinprec:=llcorner $;
53 _coinprec:=_coinprec+(0,eb);