![math mode - What is a proper context to write such proof by case style? - TeX - LaTeX Stack Exchange math mode - What is a proper context to write such proof by case style? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/vCTq8.png)
math mode - What is a proper context to write such proof by case style? - TeX - LaTeX Stack Exchange
![math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/ISRtR.png)
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange
![spacing - How to correctly and consistently typeset proofs with implications - TeX - LaTeX Stack Exchange spacing - How to correctly and consistently typeset proofs with implications - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/Dcpux.jpg)