Download User guide

5.1 NFR, DCL and MVD
21
DCL The DCL declaration macro is a shorthand for jgm and NFR in the same way
as dcl is a shorthand for jgm and nfr.
beginfig(440)
DCL 0 ()
("1", "", "", "",
DCL 1 ()
("", "2", "", "",
DCL 2 (0, 1) ("", "", "3", "",
DCL 3 (2)
("", "", "", "4",
draw drv_tree;
endfig;
_,
_,
_,
_,
_,
_,
_,
_,
_)
_)
_)
_)
"a";
"b";
"c";
"d";

1


 a b
3


c
2
d







4






MVD The MVD macro is a generalization of Mvd that enables the specification of
the alignment style of phantom inferences.
MVD hnat 1i (hnat 2i, hstr 1i, hstr 2i, hid 1i, hid 2i)
hnat 1i index of the origin judgment
hnat 2i number of phantom steps
hstr 1i left label math-mode LATEX code
hstr 2i right label math-mode LATEX code
hid 1i
alignment style identifier (l, c or r)
hid 2i
phantom steps path-style identifier (0, 1, 2, 3, 4, 5, 6 or _)
beginfig(450)
jgm 0 "a";
jgm 1 "b";
jgm 2 "cccccc";
jgm 3 "ddd";
jgm 4 "eeeeeeeee";
nfr 0 (1, MVD 4 (5, "", "F", r, 4)) ("", _);
nfr 1 (MVD 2 (2, "G", "", l, 3), 3) ("", _);
nfr 2 () ("", _);
nfr 3 () ("", _);
nfr 4 () ("", _);
draw drv_tree;
endfig;
eeeeeeeee
cccccc
G
F
ddd
b
a