TeX source:

4|1 = 41