Are \end.... macro names reserved in LaTeX2e?

Question

Perhaps this question has been asked before, but I could not track the correct question down.

I stumbled accidentally over this feature:

Say, I want to make a

\newcommand{\supersophisticatedmacroname}{Hello}

definition and then something like an end-of-environment command

\endsupersophisticatedmacroname

but this fails:

! LaTeX Error: Command \endsupersophisticatedmacroname already
defined.
               Or name \end... illegal, see p.192 of the manual.

I could understand the error message, if I would say \newcommand{\endtable} etc, as those names are defined of course, marking the end of environments. But I am pretty sure, that there is no such command (think of the macro name ;-)) in any sensible class.

Does LaTeX prevent definition of commands beginning with \end...? Why? Just to make the conceptual implementation of environments easier?

Here is a non-MWE

\documentclass{book}

\newcommand{\supersophisticatedmacroname}{Hello}%

\newcommand{\endsupersophisticatedmacroname}{World}% fails
\newcommand{\endandnowforsomethingcompletelydifferent}{World}% fails too.


\begin{document}%
Hello World

\supersophisticatedmacroname


\end{document}

Plain TeX does not complain:

\def\supersophisticatedmacroname{Hello}%
\def\endsupersophisticatedmacroname{World}%



\supersophisticatedmacroname

\bye

Edit

As Manuel states in his comment,

\def\endsupersophisticatedmacroname{...}

will even work in LaTeX.

Edit

There are four (!!) good answers to my question -- I have thought about accepting one and I know, this means, I must 'disappoint' three other, equally highly qualified users here.

Answer 1

As others have noted, you may not define any commands starting with \end. The reason is that you may use any latex2e command as an environment (some don't like that design, but that's the way it was designed) so you can go

\begin{small}....\end{small}

even though \endsmall is not normally defined.

If you were allowed to go

\newcommand\endsmall{zzzz}

just if \endsmall is not defined, then you would have been allowed to redefine the small environment with no warning.

Answer 2

Short answer: yes, LaTeX2e does reserve these names, at least as far as \newcommand is concerned. The TeX \def primitive has no such restriction and may be used if you really want to define a command starting \end....

LaTeX2e implements environment foo by looking for a macro \foo and possibly one \endfoo. These are created for example by

\newenvironment{foo}{}{}

To prevent issues which could arise from doing

\newcommand\endfoo{}

this is checked for and specifically blocked. Imagine for example you didn't know about the implementation and did exactly the above: you'd have a surprising result for one of the two cases without the check.

The issue here really is of course that LaTeX2e is rather 'permissive' about what counts as an environment. There is no specific namespace for the implementations and you don't have to define \endfoo at all. The 'LaTeX3 vision' is to address this properly: if you look at xparse it does have the idea of a separate namespace built in, but of course at present has to define LaTeX2e-compatible commands.

Answer 3

The command \newcommand{<cs>}... does \@ifdefinable{<cs>} for testing if the control sequence is available; the definition is

\long\def\@ifdefinable #1#2{%
      \edef\reserved@a{\expandafter\@gobble\string #1}%
     \@ifundefined\reserved@a
         {\edef\reserved@b{\expandafter\@carcube \reserved@a xxx\@nil}%
          \ifx \reserved@b\@qend \@notdefinable\else
            \ifx \reserved@a\@qrelax \@notdefinable\else
              #2%
            \fi
          \fi}%
         \@notdefinable}

The first bit

 \edef\reserved@a{\expandafter\@gobble\string #1}

produces the macro name without the backslash (at least if \escapechar has its usual value), storing it in \reserved@a; then this is fed to \@ifundefined. If the requested macro passes the test,

\edef\reserved@b{\expandafter\@carcube \reserved@a xxx\@nil

is performed, which stores in \reserved@b the first three characters in the macro name (or fills it with x's to arrive at three anyway). Then \reserved@b is compared to \@qend whose expansion is

% latex.ltx, line 794:
\edef\@qend{\expandafter\@cdr\string\end\@nil}

that is, it contains the stringified (category code 12) version of end. In this case it calls \@notdefinable; the same it does if \reserved@a contains exactly \relax (not to redefine this primitive).

The second argument is the (massaged) definition text, that is so gobbled if the full test is not passed.

You might redefine \@qend to be anything that can't be produced by \string, say \def\@qend{$}, and be able to define commands whose name starts with end. Don't.

Answer 4

In the LaTeX2e kernel latex.ltx, \newcommand{<cs>} checks whether it is possible to define <cs> via a macro called \@ifdefinable. Its definition, from the LaTeX2e kernel documentation/source2e (section 11.3 Command definitions, p 23), has the following description:

\@ifdefinable{NAME}{<YES>}

Executes <YES> if the user is allowed to define \NAME, otherwise it gives an error. The user can define \NAME if \@ifundefined{NAME} is true, NAME ≠ relax and the first three letters of NAME are not end, and if \endNAME is not defined.