# A more complex expression
F: Autologix(And(Or(x3,x1,~x0),Nor(Or(x3,Not(x2),~x1,x0),
And(x4,Or(x2,x1,~x0),Xor(x2,~x1)))))
Loopover_(`v_', `"svg_it(v_)" wid 11bp__ at F.In`'v_ above', x0,x1,x2,x3,x4)
"svg_it(Out)" ljust at F.Out
"svg_tt(`Autologix(And(Or(x3,x1,~x0),')" \
wid 201bp__ with .w at F.sw+(0,-0.25)
"svg_tt(`Nor(Or(x3,Not(x2),~x1,x0),And(x4,Or(x2,x1,~x0),')" \
wid 343bp__ with .w at last "".w+(65bp__,-16bp__)
"svg_tt(`Xor(x2,~x1)))))')" \
wid 105bp__ with .w at last "".w+(0,-16bp__)
# Inputs on the left with vert offset in L_units
define(`Doff',LV;offset=25)
G: Autologix(And(Or(x3,x1,~x0),Nor(Or(x3,Not(x2),~x1,x0),
And(x4,Or(x2,x1,~x0),Xor(x2,~x1)))),
Doff*L_unit) \
with .sw at F.Out+(0.2,-0.7)
Loopover_(`v_', `"svg_it(v_)" wid 11pt__ at G.In`'v_ rjust ', x0,x1,x2,x3,x4)
"svg_it(Out)" wid 22bp__ ljust at G.Out
"svg_tt(`...,'Doff*L`'_unit))" at G.s+(0,-10pt__)
# A more complex expression
define(`Eoff',R)
E: Autologix(And(Or(x3,x1,~x0),Nor(Or(x3,Not(x2),~x1,x0),
And(x4,Or(x2,x1,~x0),Xor(x2,~x1)))),
Eoff) \
with .nw at F.sw+(0,-1.5)
Loopover_(`v_', `"svg_it(v_)" wid 11bp__ at E.In`'v_ above ', x0,x1,x2,x3,x4)
"svg_it(Out)" ljust at E.Out
"svg_tt(...`,'Eoff))" at E.s+(0,-10pt__)
# Inputs on the left with vert offset in L_units
define(`Foff',LRV;offset=17)
D: Autologix(And(Or(x3,x1,~x0),Nor(Or(x3,Not(x2),~x1,x0),
And(x4,Or(x2,x1,~x0),Xor(x2,~x1)))),
Foff*L_unit) \
with .sw at E.Out1+(0.2,-0.5)
Loopover_(`v_', `"svg_it(v_)" wid 11pt__ at D.In`'v_ rjust ', x0,x1,x2,x3,x4)
"svg_it(Out)" ljust at D.Out
"svg_tt(...`,'Foff*L`'_unit))" at D.s+(0,-10pt__)
