consider defining the 'vec' operator

[jovo]

which concatenates the vectors of a matrix to get a vector, and then its inverse.

that might help the exposition, and is fairly common