Why does \show\jobname result in \jobname and not the name of the file?

Question

Should not the name \jobname expand to the name of the file without the extension?

I looked at

• https://tex.stackexchange.com/a/36967/13552

It says that show results in the meaning of a macro. Does my result imply that \jobname is not a macro?

Code

\documentclass{article}
\begin{document}
\makeatletter
\show\jobname
\makeatother
\end{document}

Ouput:

> \jobname=\jobname.
l.4 \show\jobname

Answer 1

\jobname is not a macro (essentially it's not defined with \def) it is an expandable primitive that expands to the filename.

You can make a macro with the same expansion

\edef\xjobname{\jobname}

*\show\xjobname
> \xjobname=macro:
->texput.

so \xjobname has the same expansion as \jobname but they have different \show behaviour and crucially they are not equal if tested with

\ifx\jobname\xjobname

but two macros with the same expansion are \ifx equal.

Answer 2

Typically that's the way TeX primitives react. From the TeXbook (Chapter 3: Controlling TeX, p 10):

How can a person distinguish a TeX primitive from a control sequence that has been defined at a higher level? There are two ways: (1) The index to this manual lists all of the control sequences that are discussed, and each primitive is marked with an asterisk. (2) You can display the meaning of a control sequence while running TeX. If you type \show\cs where \cs is any control sequence, TeX will respond with its current meaning. For example, \show\input results in > \input=\input., because \input is primitive. On the other hand, \show\thinspace yields

> \thinspace=macro:
->\kern .16667em .

This means that \thinspace has been defined as an abbreviation for \kern .16667em. By typing \show\kern you can verify that \kern is primitive. The results of \show appear on your terminal and in the log file that you get after running TeX.

Commands that are declared in a robust way have a similarly bizarre output even though they are declared as a "macro". For example, \show\vspace prints

> \vspace=macro:
->\protect \vspace  .

in the terminal.

Some primitives can be expanded and there is also a way around peeking inside the definition of robust commands. For those primitives that cannot be expanded, you'd have to look into TeX The Program - the .web code or its documentation - in order to understand what it's doing.

Using David's example that input the following in the TeX terminal (no filename specified):

\edef\xjobname{\jobname}

*\show\xjobname
> \xjobname=macro:
->texput.

528. Initially job_name = 0; it becomes nonzero as soon as the true name is known. We have job_name = 0 if and only if the log file has not been opened, except of course for a short time just after job name has become nonzero.

534. The open_log_file routine...

[...]
if job_name = 0 then job_name ← "texput";
[...]