Źródło TeX:
\bar{\bar{a}}=a