Tree calculus, visualized

Here are some drawings I made for myself to better understand how rewriting rules work in Tree Calculus , inspired by this helpful comment on HN . NOTE: According to this comment , the author of Tree Calculus is Prof. Barry Jay, here's a link to his Tree Book . Tree calculus works with binary trees, I draw them as black nodes and lines connecting them, with the root on top, and children below.…