# Help with arrow notation

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

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

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.
• yes, in fact, it is not clear that whether it is always a single row of $0$'s or could be be multiple rows of zeros. Aug 21 '20 at 3:00