a[i,n-i+1]-што это значит в Паскале? (двумерные массивы) ...

Вне контекста программы абсолютно ничего.
Но если предположить, что n -- это размерность двумерного массива nxn, i -- это счетчик цикла, а данное выражение использовано в цикле for i := 1 to n do ..,то это последовательное обращение к элементам побочной диагонали массива.