{ ( a , ... , a ⏞ k   a \'s , ( b , ... , b ⏞ ℓ   b \'s ⏟ k + ℓ  elements }