QED symbol in HTML and LaTeX at end of definitions and examples · Issue #320 · PreTeXtBook/pretext · GitHub
![math mode - How to right align QED at a specific line within align environment? [MWE] - TeX - LaTeX Stack Exchange math mode - How to right align QED at a specific line within align environment? [MWE] - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/mXCla.png)
math mode - How to right align QED at a specific line within align environment? [MWE] - TeX - LaTeX Stack Exchange
![How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow](https://i.stack.imgur.com/goa4o.png)
How does one display an arbitrary programming language (e.g. Isabelle/Isar) in latex in their native display in *.pdf format? - Stack Overflow
![equations - Missing QED symbol with proof and eqnarray environments in SIAM template - TeX - LaTeX Stack Exchange equations - Missing QED symbol with proof and eqnarray environments in SIAM template - TeX - LaTeX Stack Exchange](https://i.stack.imgur.com/4SdKC.png)