refactoring: "def" -> "symbol"