<overline-end> Overline End

Milestone indicating the end of overline emphasis.