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?

  • 1
    $\begingroup$ Is there some sort of established way to diagram these relations, and you want to check how a particular relation would be drawn? That would be on topic. If you're inventing your own method and want suggestions, that probably wouldn't be. $\endgroup$ Commented Apr 11, 2014 at 22:42


You must log in to answer this question.

Browse other questions tagged .