 :::I see hole punch gives all the synonyms, so I suppose they can be left out of this article.  On the other hand, ticket punch would be more precise, as the purpose of a ticket punch is marking, not preparing paper to go in a ring binder.  An ordinary hole punch won't work on many control cards because the jaw is too short to reach inside the outside rows of cells on a control card.   