Posts tagged "maths"
“Better maths input in Emacs”
‒ July 2, 2025
In which we write a minor mode for better maths input in LaTeX and Agda2.
“Better maths input in Emacs”
‒ July 2, 2025
In which we write a minor mode for better maths input in LaTeX and Agda2.