Fuente TeX:

RC = \{D_n > t_n \}