>>10>>13
is だと、言語によっては型判定と重なるからNG
個人的には gets がいい。

a gets 10

ちなみに、LaTeX環境では、\leftarrow は \gets でも出せるし、至極自然。