Actually, one can always prefix the (generic) macro name by the package (module): OptimalControl.@def. And then, I agree that OCP would be shorter. (Of course an alias can be defined after importing the package, so OCP = OptimalControl then OCP.@def works.)