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