1 2 3 4
MultiplyByTwo←{⊑𝕩∊𝕨 ? 𝕨𝕊2×𝕩 ; 𝕩} •Show 5‿3‿6‿1‿12 MultiplyByTwo 3 •Show 1‿2‿4‿3 MultiplyByTwo 1 •Show 5‿6‿7 MultiplyByTwo 2