TeX source:
Nil(A)