symbolic version