symbolic function