Template:Imp
→
{\displaystyle \to }
Material conditional
