formatting - Efficient way to indicate steps in a derivation - TeX - LaTeX Stack Exchange
math mode - "Evaluated at" bar for derivatives: \Bigr, \biggr, or \left...\right? - TeX - LaTeX Stack Exchange
math mode - How to draw "flag format" lambda derivation diagrams as used in the book Type Theory and Formal Proof: An Introduction - TeX - LaTeX Stack Exchange
How do you write derivatives(∂x/∂y) in LaTeX?
Implementing Euler's notation for LaTeX of Derivative · Issue #16717 · sympy/sympy · GitHub