（数学の世界では）初めに記号ありき。