Docs

Set Identities

Set Identities from the book

Course Missive
Statements that may be used without proof

Sample Proofs

Counterexample
Cases
Contraposition
Contradiction
Bidirectional
Bijective
Induction
Strong Induction
Set Equivalence
Conditional Probability

LaTeX

LaTeX Homework Template

To install LaTeX (prounounced la-tek) on your machine, select the appropriate link below, and follow the instructions.

Download LaTeX for Windows (MiKTeX)
Download LaTeX for Macs (MacTeX)

An awesome widget that gives the LaTeX symbol based on handwriting input:

Detexify^2 - LaTeX symbol classifier

For more information on using LaTeX:

A Not So Short Introduction to LaTeX2e
LaTeX Symbols
LaTeX Wikibook
Essential LaTeX
AOPS LaTeX