TeX source:
A \tilde{x} = \tilde{b}