象征(< symbol)一种由微分算子确定的丛同态.设来自T"<M)为M的余切丛，T' ( M)是丛T*(M>挖去零截面，射影二:7" (M>->M导出的二'(E>,二'<F)是丛拉回到T' (M)，有丛同态a(P):二'(E)->二'<F').这就是微分算子尸的象征.