You can even approach 0 from left and right simultaneously:
while (a -->> k --> 0 <-- b <<-- c)
and you can have dashed arrows too: k = a <- - - - - b;