Enough LaTeX for basic logic typesetting

I’m currently taking a (meta)logic class. There are assigned problem sets. A lot of people either don’t know how to type logical symbols or else cannot be bothered to fight with Word. I’m a fan of LaTeX. I like it for several reasons, one of them being easy use of logical symbols. There are a lot of guides to using LaTeX. To my knowledge, none … Continue reading Enough LaTeX for basic logic typesetting