abc←123 ⋄ abc