a^kb^l