Compact representation for electroweak lepton sector