\usepackage{newunicodechar} \newunicodechar{←}{$\leftarrow$}