Update electroweak.tex