\(\newcommand{\imp}{\rightarrow} \renewcommand{\iff}{\leftrightarrow} \newcommand{\Iff}{\Leftrightarrow} \newcommand{\Imp}{\Rightarrow} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)