Fuente TeX:
H(D') \models \beta