This is really neat, but I don't understand why the diagram version have a little added drop-down. Take for example S [\x\y\z(x z)(y z)], the alternative version doesn't have the little extra vertical line segment. Is there a reason for it?
EDIT: Curiously, the Omega doesn't have it either.
No particular reason, except having different aesthetics.
The regular diagrams always connect through their bottom left, so I let them stick out.
The alternative diagrams are supposed to look prettier, which precluded having a leg stick out on the right of the bottom line .
EDIT: Curiously, the Omega doesn't have it either.