String[] notationsの名前をわかりやすい名前（String[] symbols）に再修正