1
$\begingroup$

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

$\endgroup$
2
$\begingroup$

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.

$\endgroup$
2
  • 2
    $\begingroup$ I think it's worth noting that this is not really standard notation. $\endgroup$
    – Brian Shin
    Aug 21 '20 at 2:44
  • 1
    $\begingroup$ 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. $\endgroup$ Aug 21 '20 at 3:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.