TeX source:
b^2=9