TeX source:
]0; 1]