Tagged Questions

13
votes
3answers
359 views

Multi-column spacing of many equation-like environments

I suppose I have a pretty simple question. I want to write down a logic inference system. A good example can be found on page 9 in this document: What environment would you advise me to use to get ...