[Abstract 004] direction redo repeat symbol