\hat a_k = \hat
a_{n+1-k}