In the dfns docs and other places, there are wonderful diagrams, arrows and elaborate boxes -- are they painstakingly hand-edited, or is there a tool in play?
Right, so I imagine they are a mixture of generated and hand-drawn. Note that the APL keyboard layer on Linux has line drawing characters directly accessible in a sensible layout:
And the last solution for problem 7 is also realy nice. We should have thought about that last friday. You had probably a good sleep/ red bull/ or cup of coffee.