4.1 Commands for Common Combinat Names

Here we define common names that are used throughout the documentation.

Since the rest of the documentation needs a definition of \xPROJECTNAME (∖xCombinat) where PROJECTNAME should be replaced by the value of the variable PROJECTNAME from the file Makefile.def.nw, it is best to use ∖xnamedef from allprose.sty.nw.

Note that the definition of ∖xLibAxiom is special since we currently want to print Axiom instead of LibAxiom. Defining it via

causes LATEX to no longer write a Rerun message to the .log file and thus our compilation process does not detect a necessary recompilation of the .dvi file.