重複符號 箭頭重載符號 循環符號 恢復符號 更新符號 矢量隔離符號