الجواهر الحسان في تفسير القرآن للثعالبي - الثعالبي  
{حَتَّىٰٓ إِذَا مَا جَآءُوهَا شَهِدَ عَلَيۡهِمۡ سَمۡعُهُمۡ وَأَبۡصَٰرُهُمۡ وَجُلُودُهُم بِمَا كَانُواْ يَعۡمَلُونَ} (20)

قال أبو حَيَّان : { حتى إِذَا مَا جَاءُوهَا } : ما بعد إِذا زائدة للتوكيد ، انتهى .