Προέλευση/πηγή TeX:
H \leq \mathrm{Aut}(K)