A template I created to make certain common expressions easier when typing up Real Analysis problem sets. For instance, shotrhands like: \converges, \cauchy, \implies, etc. Also some of the default mappings are downright stupid, so things like \intersect and \union plus some things that make transcribing easier, like \suchthat and \implies.