Supporting redo requires two stacks: an undo stack and a redo stack; when undoing, an operation is popped from the undo stack and pushed onto the redo stack, and when redoing, it is moved back in reverse.