Источник TeX:
EF=12