Źródło TeX:
a_1 = 0,7