Remove the symbol that no one uses.
Experiments on covering spaces.

Introducing *ribbon*---the constructed covering space.