This is LaTeX code:

[latex]
 
{\bf a}_k\in {\rm M}_{2^{n}\times 1}(\mathbb{Z})
 
[/latex]