TeX source:
H_a: \mu_x \neq a,