We present upper limits on the production of heavy leptons (L±) by neutrinos via the process νμ+Ne→L±+⋯, L±→e±+ν+ν¯. These limits imply that the L− and L+, if they couple in full strength to νμ, are heavier than 7.5 and 9 GeV, respectively. They also imply that the coupling strength νμ to the recently discovered 1.9-GeV heavy lepton τ is less than 0.025 of the normal νμ−μ coupling.
No description provided.