.PS
# Ttree.m4
# A binary tree using m4
gen_init
sinclude(tst.dim)
s_init(Ttree)

#                           `Node(no in row, head [location],
#                              displacement of top of body (.n) wrt head,
#                              body Node 1, body Node 2, ...) '
define(`Node',`
  Head`$1': `$2'
  ifelse(`$3',,,` Body`$1': [
    Loopover_(`v',`v; define(`m4ct',m4Lx)',shift(shift(shift($@))))
    ] with .n at Head`$1' + `$3'
  connect(`$1',m4ct)')')

define(`connect',`Bot: move from Head$1.sw-(0,5bp__) to Head$1.se-(0,5bp__)
for_(1,`$2',1,
 `Top: move from Body$1.Head`'m4x.nw+(0,2bp__) \
              to Body$1.Head`'m4x.ne+(0,2bp__)
  Mov: move from Head$1 to Body$1.Head`'m4x
  if Bot.len*Top.len*Mov.len > 0 then {
    line from Intersect_(Mov,Top) to Intersect_(Mov,Bot)}')')

  vsep = 0.75
define(`txw',`wid `$1'mm__')dnl scaled by 14/12 for 14 pt type

  Node(1,"svg_it(h(h(h(x`'svg_sub(1),x`'svg_sub(2))," \
       + "h(x`'svg_sub(3),x`'svg_sub(4))),h(h(x`'svg_sub(5),x`'svg_sub(6))," \
       + "h(x`'svg_sub(7),x`'svg_sub(8)))))" txw(70) ,
     (0,-vsep),
     Node(1,"svg_it(h(h(x`'svg_sub(1),x`'svg_sub(2)),h(x`'svg_sub(3)," \
          + "x`'svg_sub(4))))" txw(32) ,
        (0,-vsep),
        Node(1,"svg_it(h(x`'svg_sub(1),x`'svg_sub(2)))" txw(14) ,
           (0,-vsep),
           Node(1,"svg_it(x`'svg_sub(1):=((A,pk`'svg_sub(A)),h`'svg_sub(1)))" \
                  txw(29) ),
           Node(2,"svg_it(x`'svg_sub(2):=((B,pk`'svg_sub(B)),h`'svg_sub(2)))" \
                  txw(29) with .n at last "".ne+(0.2,-vsep*2/3))),
        Node(2,"svg_it(h(x`'svg_sub(3),x`'svg_sub(4)))" txw(14) \
                  with .nw at Head1.ne+(Body1.wid/2+0.1,0),
           (0,-vsep),
           Node(1,"svg_it(x`'svg_sub(3):=" \
                + "((A,pk`'svg_prime`'svg_sub(A,,,-0.5ex)),h`'svg_sub(3)))" \
                  txw(29)),
           Node(2,"svg_it(x`'svg_sub(4):=((D,pk`'svg_sub(D)),h`'svg_sub(4)))" \
                  txw(29) with .n at last "".ne+(0.2,-vsep*2/3)))),
     Node(2,"svg_it(h(h(x`'svg_sub(5),x`'svg_sub(6)),h(x`'svg_sub(7)," \
          + "x`'svg_sub(8))))" txw(29) with .nw at Head1.ne+(Body1.wid/2,0),
        (0,-vsep),
        Node(1, "svg_it(h(x`'svg_sub(5),x`'svg_sub(6)))" txw(14) ,
           (0,-vsep*5/4),
           Node(1,"svg_it(x`'svg_sub(5):=((E,pk`'svg_sub(E)),h`'svg_sub(5)))" \
                  txw(29) ),
           Node(2,"svg_it(x`'svg_sub(6):=((H,pk`'svg_sub(H)),h`'svg_sub(6)))" \
                  txw(29) with .n at last "".ne+(0.2,-vsep*2/3))),
        Node(2,"svg_it(h(x`'svg_sub(7),x`'svg_sub(8)))" txw(14) \
                  with .nw at Head1.ne+(Body1.wid/2+0.1,0),
           (0,-vsep*5/4),
           Node(1,"svg_it(x`'svg_sub(7):=" \
                + "((D,pk`'svg_prime`'svg_sub(D,,,-0.5ex)),h`'svg_sub(7)))" \
                  txw(29) ),
           Node(2,"svg_it(x`'svg_sub(8):=((K,pk`'svg_sub(K)),h`'svg_sub(8)))" \
                  txw(29) with .n at last "".ne+(0.2,-vsep*2/3))),
        Node(3,"svg_it(h(x`'svg_sub(9)))" txw(8) \
                  at 0.5 between Head1 and Head2)))

.PE