symbolic表示