![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
![lists - Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way? - TeX - LaTeX Stack Exchange lists - Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way? - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/hFTVg.png)
lists - Is it possible to use the enumerate/itemize environment within the proof/remark environment in a nice way? - TeX - LaTeX Stack Exchange
![numbering - The items of the itemize environment protrude into the left margin (scrbook) - TeX - LaTeX Stack Exchange numbering - The items of the itemize environment protrude into the left margin (scrbook) - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/5NJpZ.png)