TeX source:
{4 }