1
$\begingroup$

I'd like to write down proofs. I use first-order logic and natural deduction. Formulas tend to be long, too long for LaTeX. Writing formulas with the computer is also a slow process. Handwriting is a lot faster and more natural, but I can't trust paper. Time, water, dirt, fire are its enemies. I could write down something and then immediately scan it, but I'm an eco-guy and I'm worried about using a whole page for only two lines. How do you write math? Thanks.

  • 4
    I would like to be able to provide a serious answer to this question, but I find it difficult to conceive of what one might look like. I've downvoted this question because I am inclined to believe others would have similar trouble as the question stands. However do not let this deter you from asking questions in future.2010-08-10
  • 0
    I know you guys really like very advanced questions and not basic things as this one, but I'm desperate and I need to know.2010-08-10
  • 0
    I think that this question should be community wiki and that we should post ways we write down logical expressions. While we all may have different tastes, it would be good to have a list of popular ways so that people who are dissatisfied with their solution (or don't have one!) will know what else is available.2010-08-10
  • 0
    Maybe retitling to 'what are some good Tex editors' with some advantages/disadvantages requested for each one answer per question community wiki question would be interesting and productive. As it is the question is just inane.2010-08-10
  • 4
    le3, please rewrite your question. As it stands, it's virtually equivalent to "How do I write math? I don't like paper and I don't like computers, what can I do?" which is unanswerable.2010-08-10

6 Answers 6