Источник TeX:

p_4=7