Registry · Theorem IV.T322 tau-effective not_formalized IV.T322 — NLO Weinberg Angle The next-to-leading-order Weinberg angle is: equation ^2_W^NLO = iota_tau(1 - iota_tau)\!(1 + 57_tau3) Book IV Part 3 Ch. 27