A Small Toolbox for Writing Spreadsheet Semantics Inspired by Cameron Swords' blog post. I use these for typesetting papers on spreadsheets and their semantics.