TeX source:
H_a: \mu_x \neq 5,