TeX source:
x2−8x+7=0