Abstract: The lepton pair with opposite charges can form the bound state called ``leptonium'' with quantum electrodynamics interaction. The heavy quarkonium like J/ψ can be massively produced at the BESIII and the future Super Tau-Charm Facility (STCF). We study the production of leptonium in heavy quarkonium decays, Q⟶(l1​<sup>+</sup>l2​<sup>−)[n]</sup>+γ (l1,2​=τ,μ,e) and Q⟶(l1​<sup>+</sup>l2​<sup>−)[n]</sup>+l1​<sup>−</sup>l2​<sup>+, where Q is the heavy quarkonium J/ψ or Υ, n= <sup>1S0​ or <sup>3S1​ refer to the para- and ortho-leptonium respectively. With the annual production of 3.4×10<sup>12 J/ψ events at STCF, it is very promising to make some observations on the positronium (e<sup>+e<sup>−), the muonium (μ<sup>+e<sup>−), and the dimuonium (μ<sup>+μ<sup>−). Specifically, the ortho-dimuonium (μ<sup>+μ<sup>−)[<sup>3S1​] might be discovered at future STCF with the inclusive branching fraction Br(J/ψ⟶(μ<sup>+μ<sup>−)[<sup>3S1​]</sup></sup></sup>+X)=1.5×10<sup>−12.