TeX source:
[0;\pi]