Source TeX:
p(x) \Leftrightarrow x = a