The Tipp-Ex name was used to distribute correction paper, and later correction tape and correction fluid worldwide.
Tipp-Ex was used for distributing correction paper, along with correction tape and correction fluid worldwide.