Typesetting proof circuits in LaTeX and tikz.