Fuente TeX:
\{ (m, best(m)) | m \in M \}