TeX source:
{1, 4, 5}