purged \define from old notes
purged \isin from old notes
refactored \R directive
Wednesday, May 28th
purged \abs directive
purged \twocases directive
purged \isnotin directive
purged \comb directive
purged \O directive
purged \true and \false directives
refactored \kmap* and \truth*
refactored \LeftRightArrow
purged \vDash* directives
refactored \proposition*