24.9 Commands for Common Names

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

Before we are listing the names, we define an auxiliary command ∖xnamedef, which enables us to define the common names in a compact way. In fact, if ∖xnamedef is used in the following forms

it defines a new command ∖xCOMMAND. The RHXTERM argument (including the brackets) is optional and set to

if it is not explicitly given. This argument is directly handed over to the ∖defineterm and ∖useterm commands of the rhxterm package.

The first usage of a ∖xCOMMAND produces a footnote with a link to the URL (given as the last argument to ∖xnamedef). Every other use of the command just links to its first usage, i. e., to the footnote. In any case the RHXTERM argument of ∖xnamedef is printed in the text at the place where ∖xCOMMAND appears.

Note that the RHXTERM argument can contain an @ sign. The appearance of RHXTERM is controlled by ∖defineterm and ∖useterm. For the rhxterm LATEX package it does not matter whether the @ sign is of category code 11 (letter) or 12 (other).

See also the redefinition of \@@xnamedef in allprose.4ht.nw, since we need no footnote in case of HTML output. The following intermediate definition of \@xnamedef is necessary for being able to redefine the semantics of ∖xnamedef.

The command ∖xnamedef is used for the definition of the following LATEX commands ∖xaldoc, ∖xAldor, ∖xAldorDoc, ∖xaldordoc, ∖xaldormode, ∖xAxiom, ∖xALLPROSE, ∖xrhxterm, ∖xLibAldor, ∖xLibALgebra, ∖xEmacs, ∖xXEmacs, ∖xxEmacs, ∖xPerl, ∖xGMP. ∖xGNU, ∖xNoweb, ∖xTeXivHT, ∖xmmmode, ∖xAUCTeX ∖xframed ∖xsrcltx ∖xprevielatex ∖xAldorUnit, ∖xExtIO where the name of the command corresponds to the first argument given to ∖xnamedef.