Symbol to def