TeX source:

4|0 = 20