I have been teaching myself different languages in formal logic using the most excellent book

*Introduction to Logic*by Harry Gensler and the accompanying LogiCola software. I've gone through the syllogistic and propositional logic chapters and am now on quantificational logic. Do any of you know if there's an easy way to type logical notation out on either a mac or pc? Some of it I know is really simple to do but some of the symbols, like the existential quantifier symbol, I don't know of any hot keys. Will I have to create a macro for each?

Thank you for your time.

-- Dauer