Leptonic atoms, named using - onium, are exotic atoms constituted by the bound state of a lepton and an antilepton. Examples of such atoms include positronium (e e), muonium (e μ), and " true muonium " (μ μ). Of these positronium and muonium have been experimentally observed, while "true muonium" remains only theoretical.