Fuente TeX:
7=-\mid -7\mid