diff --git a/export/MathLogicCheatsheet.pdf b/export/MathLogicCheatsheet.pdf new file mode 100644 index 0000000..14557da Binary files /dev/null and b/export/MathLogicCheatsheet.pdf differ