Fuente TeX:
7-\mid x+5\mid =11