TeX source:
\qquad b^t=a\qquad