I'm taking a class on proofs this semester. My first assignment is to prove propositions using axioms. Is there software I can use to type these mathematical symbols and equations?
2026-03-27 05:56:12.1774590972
What software can I use to typeset proofs for my class?
174 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
LaTeX is the gold standard for typesetting mathematics. Just install MiKTeX and you're ready to go. I personally prefer TeXmaker to the default editor (TeXworks) provided with MiKTeX, but there's plenty of options to chose from. Also, if you can't remember what the command is for some given symbol, detexify is very useful.