![math mode - How to properly format a proof/explanation with multiple points of alignment? - TeX - LaTeX Stack Exchange math mode - How to properly format a proof/explanation with multiple points of alignment? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/V5yGi.png)
math mode - How to properly format a proof/explanation with multiple points of alignment? - 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
![Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/JtQ6E.png)
Creating an example environment structured exactly like amsthm's proof environment - TeX - LaTeX Stack Exchange
![The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng](https://fanpu.io/assets/img/posts/latex-mistakes/macros.webp)
The Art of LaTeX: Common Mistakes, and Advice for Typesetting Beautiful, Delightful Proofs | Fan Pu Zeng
![math mode - How are proofs normally constructed in a write up, in one line or split up into multiple lines? - TeX - LaTeX Stack Exchange math mode - How are proofs normally constructed in a write up, in one line or split up into multiple lines? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/FckjQ.png)
math mode - How are proofs normally constructed in a write up, in one line or split up into multiple lines? - TeX - LaTeX Stack Exchange
![Output of \qed symbol in LaTeX within a proof environment at the end of an enumerate statement - Stack Overflow Output of \qed symbol in LaTeX within a proof environment at the end of an enumerate statement - Stack Overflow](https://i.stack.imgur.com/Ciquy.png)
Output of \qed symbol in LaTeX within a proof environment at the end of an enumerate statement - Stack Overflow
![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)
spacing - How to correctly and consistently typeset proofs with implications - TeX - LaTeX Stack Exchange
![math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange math mode - How to get started to typeset mathematical proofs with LaTeX? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/unFjR.png)