TeX source:
∝