Anyone have a glossary or index for newbs? Like a shortcut to reading the symbolic notation? I have some expository knowledge to sets (ie. sets are denoted by capital letters). And some of the symbols (ie. the vertical pipe means given or 'where' and indicates a predicate assumption of sorts). Anyone have the cheat code for laypeople and undergrads?