Source TeX:
Ax=0\Rightarrow x=0