Источник TeX:

0=17