Added new cards and fixed bracket.

Added Inclusion-Exclusion, Product rule, and Law of total probability. Created better corner brackets and remove include for the old corner bracket. Old include caused problems with other symbols.