TeX source:
min (1, 0, 1) = min (0, 1)