.PS
log_init

# Usual defs...
qrt=dimen_/4;
hlf=dimen_/2;
dim=dimen_;

G1:XOR_gate
line from G1.In1 left_ 2*L_unit; dot; line left_ 4*L_unit
"A " ljust_;
line from G1.In2 left_ 4*L_unit; dot; line left_ 2*L_unit
"B " ljust_
move down_ 6*L_unit; right_

G2:AND_gate with .center at (G1.center,Here)
line from G2.In1 left_ 2*L_unit; line to (Here,G1.In1)
line from G2.In2 left_ 4*L_unit; line to (Here,G1.In2)
line from G1.Out right_ 2*L_unit
" Sum" ljust_
line from G2.Out right_ 2*L_unit
" Carry" ljust_

"\tiny HalfAdder" at (dim, -2.5*hlf) ljust_ 
.PE