By A Mystery Man Writer
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice
Help:Displaying a formula - Wikipedia
Spacing of math symbols to the left of a letter and between two letters - TeX - LaTeX Stack Exchange
mathlive
mathlive
letterspacing - Automatic letter spacing in narrow columns - TeX - LaTeX Stack Exchange
PDF) LATEX Tutorials A PRIMER
How to change paragraph spacing in LaTeX - Overleaf, Online LaTeX editor
fancyhdr - Decrease space between paragraph and header - TeX - LaTeX Stack Exchange
How to change paragraph spacing in LaTeX - Overleaf, Online LaTeX Editor
The Sheffer Stroke Internet Encyclopedia of Philosophy
How to change paragraph spacing in LaTeX - Overleaf, Online LaTeX editor