User blog comment:Nayuta Ito/generalization of arrow notation/@comment-25337554-20141026090551/@comment-25371339-20141026180512

MS-DOS/CMD, right?