歩行者用信号は、やはり人の形をしています。