MAT 1341A - Correct capitalization to \Iff