I have a finite set of formulas (some of which are pairwise equal) and some binary relations between these formulas.
I want to draw a diagram expressing these relations, to represent visually several theorems.
I have some questions about how the diagram should look.
Are such questions on-topic at math.SE?