Προέλευση/πηγή TeX:

|\mathrm{Gal}(K/F)| = [K : F].