![cross referencing - How to refer to the number of an item in an enumerate environment inside a theorem - TeX - LaTeX Stack Exchange cross referencing - How to refer to the number of an item in an enumerate environment inside a theorem - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/5fDo3.png)
cross referencing - How to refer to the number of an item in an enumerate environment inside a theorem - 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)
numbering - The items of the itemize environment protrude into the left margin (scrbook) - 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
![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
![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)