use symbol for definitions