Źródło TeX:

x.\Leftarrow