Fuente TeX:

\Sigma = \{x \mid 0 \le x \le 30 \}