Zdroj TeX:
0^ \ast = \lbrace{x \in Q, x < 0 }\rbrace