NEW: Assignment 4 initial LaTeX file
ENHANCE: Formula substitutions assignment 4
ENHANCE: Finished assignment 4