>>952
矢印で書く人も二重線で書く人もいる
どっちでもいいのか(´・ω・`)