>>835
不等号を矢印の意味で使ってるっぽい