symbolic definitions