Tacticals are functions for composing tactics. Infix tacticals are distinguished by having the first part of their name in all capitals. Infix tacticals always associate to the left.
