Fix latex printing for Not(Equivalent) and Not(Implies).