TeX source:
ARI=1