TeX source:

20x+7