Added missing replacement case for unicode \leftarrow to <-.