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
Dot derivative(v̇) in LaTeX. | Latexhelp
Miles Cranmer on Twitter: "I regret not reading through the full LaTeX physics package earlier; so many more features than I realized. Many commands that I usually define by hand... e.g., some
logic - Derivation tree for type evaluations - TeX - LaTeX Stack Exchange
LaTeX for Physicists
logic - Derivation tree for type evaluations - TeX - LaTeX Stack Exchange
How do you write derivatives(∂x/∂y) in LaTeX?
How do you write derivatives(∂x/∂y) in LaTeX?
How to Write and Use a Derivative Symbol in LaTeX
How to write partial derivative in LaTeX? - LaTeX-Tutorial.com
Latex Partial Derivative - Javatpoint
math mode - Is there a short hand command to write derivatives? - TeX - LaTeX Stack Exchange
Latex Partial Derivative - Javatpoint
math mode - Which packages/practices are relevant for writing Structured Derivations? (similar to Dijkstra's calculational style of proofs) - TeX - LaTeX Stack Exchange