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?
$\begingroup$ $\endgroup$
8 - $\begingroup$ Do you want software that allows you to typset the homework, or to solve the homework? $\endgroup$Mark Schultz-Wu– Mark Schultz-Wu2016-08-31 06:00:20 +00:00Commented Aug 31, 2016 at 6:00
- $\begingroup$ I can solve the homework, just want a software that can type mathematically. Sorry I am new to this. $\endgroup$Vince– Vince2016-08-31 06:01:52 +00:00Commented Aug 31, 2016 at 6:01
- 1$\begingroup$ I suggest LaTeX, it is free and this site uses it to write math too $\endgroup$Malcolm– Malcolm2016-08-31 06:06:00 +00:00Commented Aug 31, 2016 at 6:06
- 1$\begingroup$ @Rizky Reza Fujisaki There's a stack exchange specifically for LaTeX questions, so I would suggest asking there instead. $\endgroup$ಠ_ಠ– ಠ_ಠ2016-08-31 06:50:55 +00:00Commented Aug 31, 2016 at 6:50
- 1$\begingroup$ wow thank you, I am just new active member in math stackexchange (I made the account long time ago, but almost didnt do anything), I never knew before that latex stackexchange is exist, thank you so much $\endgroup$Rizky Reza Fujisaki– Rizky Reza Fujisaki2016-08-31 07:13:01 +00:00Commented Aug 31, 2016 at 7:13
| Show 3 more comments
1 Answer
$\begingroup$ $\endgroup$
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.
- 1$\begingroup$ It may be worth noting that we use a variant of LaTeX to typeset mathematics on this site. With a little practice, and sometimes cutting and pasting (but always carefully!), you can write math in LaTeX almost as easily as by hand. (Or so it seems to me.) $\endgroup$David K– David K2016-08-31 06:39:20 +00:00Commented Aug 31, 2016 at 6:39