Estimated read time: 1 minutes
Today I had some Hungarian mathematical logic notes to type in Latex, and again I had to dig up the various references to get the proper symbols I needed.
I used the following pages:
amsmath is unique in that for example it explains how to use
this one is a collection of lot of symbols, I found
An article from Wikipedia about logic symbols
The Math chapter of the well-known LaTeX wikibook
A set of macros making easy to declare lemmas, definitions, proofs.