Realizations of mu-tau interchange symmetry

Some models for the lepton sector, based on seesaw extensions of the Standard Model, are discussed in which the mu-tau interchange symmetry is realized in various ways. The symmetries defining such models and their characteristic predictions for lepton mixing are presented.