Help with arrow notation

linear algebramatricesnotation

My apologies if this question is too dumb but I am not too familiar with the $\leadsto$ notation. I came across with this remark:enter image description here

Can someone please tell me the meaning of $\leadsto$ in this case???

Thanks in advance

Phil

Best Answer

It is defined for you in the final equation.

It means the matrix where $0$'s are appended at the bottom.

This is not a standard notation and it is not clear if we always append a single row of $0$'s or could it be multiple rows of zeros.

Related Question