6

My code snippets:

\renewcommand{\chaptermark}[1]{\markboth{\scshape\chaptername\ \thechapter. #1}{}}%
\renewcommand{\sectionmark}[1]{\markright{\scshape\S\thesection. #1}}%

worked just fine in TeXLive 2022 (using amsbook format in LaTeX), but in TeXLive 2026 the section heads do not appear at all. I gather this is due to the changes in the way headers are handled now.

Can you suggest a modern modification I can make to get section heads to appear? fancyhdr did nothing for me.

EDIT: OK. Here is a short document which typesets to three pages. Using TeXLive 2022 I get a section header on p. 3; using TeXLive 2026 there is none. :)

\documentclass[11pt]{amsbook}

\renewcommand{\chaptermark}[1]{\markboth{\scshape\chaptername\ \thechapter. #1}{}}%
\renewcommand{\sectionmark}[1]{\markright{\scshape\S\thesection. #1}}%


\begin{document}
\chapter{Curves}

\section{Examples, Arclength Parametrization}
We say a vector function $f\: (a,b)\to\mathbb R^3$ is $C^k$
($k=0,1,2,\dots$) if $f$ and its first $k$ derivatives, $f'$, $f''$, \dots,
$f^{(k)}$, exist and are all continuous. We say $f$ is smooth if $f$ is
$C^k$ for every positive integer $k$. A parametrized curve is a
$C^3$ (or smooth) map $\alpha\: I\to\mathbb R^3$ for some interval $I=(a,b)$ or $[a,b]$
(possibly infinite). We say $\alpha$ is regular if
$\alpha'(t)\ne 0$ for all $t\in I$.

We can imagine a particle moving along the path $\alpha$, with its position at time
$t$ given by $\alpha(t)$. As we learned in vector calculus,
$$\alpha'(t) =  \lim_{h\to 0}\frac{\alpha(t+h)-\alpha(t)}h$$
is the velocity of the particle at time $t$. The velocity vector
$\alpha'(t)$ is tangent to the curve at $\alpha(t)$ and its length, $\|\alpha'(t)\|$, is
the speed of the particle.

We say a vector function $f\: (a,b)\to\mathbb R^3$ is $C^k$
($k=0,1,2,\dots$) if $f$ and its first $k$ derivatives, $f'$, $f''$, \dots,
$f^{(k)}$, exist and are all continuous. We say $f$ is smooth if $f$ is
$C^k$ for every positive integer $k$. A parametrized curve is a
$C^3$ (or smooth) map $\alpha\: I\to\mathbb R^3$ for some interval $I=(a,b)$ or $[a,b]$
(possibly infinite). We say $\alpha$ is regular if
$\alpha'(t)\ne 0$ for all $t\in I$.

We can imagine a particle moving along the path $\alpha$, with its position at time
$t$ given by $\alpha(t)$. As we learned in vector calculus,
$$\alpha'(t) =  \lim_{h\to 0}\frac{\alpha(t+h)-\alpha(t)}h$$
is the velocity of the particle at time $t$. The velocity vector
$\alpha'(t)$ is tangent to the curve at $\alpha(t)$ and its length, $\|\alpha'(t)\|$, is
the speed of the particle.

We say a vector function $f\: (a,b)\to\mathbb R^3$ is $C^k$
($k=0,1,2,\dots$) if $f$ and its first $k$ derivatives, $f'$, $f''$, \dots,
$f^{(k)}$, exist and are all continuous. We say $f$ is smooth if $f$ is
$C^k$ for every positive integer $k$. A parametrized curve is a
$C^3$ (or smooth) map $\alpha\: I\to\mathbb R^3$ for some interval $I=(a,b)$ or $[a,b]$
(possibly infinite). We say $\alpha$ is regular if
$\alpha'(t)\ne 0$ for all $t\in I$.

We can imagine a particle moving along the path $\alpha$, with its position at time
$t$ given by $\alpha(t)$. As we learned in vector calculus,
$$\alpha'(t) =  \lim_{h\to 0}\frac{\alpha(t+h)-\alpha(t)}h$$
is the velocity of the particle at time $t$. The velocity vector
$\alpha'(t)$ is tangent to the curve at $\alpha(t)$ and its length, $\|\alpha'(t)\|$, is
the speed of the particle.

We say a vector function $f\: (a,b)\to\mathbb R^3$ is $C^k$
($k=0,1,2,\dots$) if $f$ and its first $k$ derivatives, $f'$, $f''$, \dots,
$f^{(k)}$, exist and are all continuous. We say $f$ is smooth if $f$ is
$C^k$ for every positive integer $k$. A parametrized curve is a
$C^3$ (or smooth) map $\alpha\: I\to\mathbb R^3$ for some interval $I=(a,b)$ or $[a,b]$
(possibly infinite). We say $\alpha$ is regular if
$\alpha'(t)\ne 0$ for all $t\in I$.

We can imagine a particle moving along the path $\alpha$, with its position at time
$t$ given by $\alpha(t)$. As we learned in vector calculus,
$$\alpha'(t) =  \lim_{h\to 0}\frac{\alpha(t+h)-\alpha(t)}h$$
is the velocity of the particle at time $t$. The velocity vector
$\alpha'(t)$ is tangent to the curve at $\alpha(t)$ and its length, $\|\alpha'(t)\|$, is
the speed of the particle.

We say a vector function $f\: (a,b)\to\mathbb R^3$ is $C^k$
($k=0,1,2,\dots$) if $f$ and its first $k$ derivatives, $f'$, $f''$, \dots,
$f^{(k)}$, exist and are all continuous. We say $f$ is smooth if $f$ is
$C^k$ for every positive integer $k$. A parametrized curve is a
$C^3$ (or smooth) map $\alpha\: I\to\mathbb R^3$ for some interval $I=(a,b)$ or $[a,b]$
(possibly infinite). We say $\alpha$ is regular if
$\alpha'(t)\ne 0$ for all $t\in I$.

We can imagine a particle moving along the path $\alpha$, with its position at time
$t$ given by $\alpha(t)$. As we learned in vector calculus,
$$\alpha'(t) =  \lim_{h\to 0}\frac{\alpha(t+h)-\alpha(t)}h$$
is the velocity of the particle at time $t$. The velocity vector
$\alpha'(t)$ is tangent to the curve at $\alpha(t)$ and its length, $\|\alpha'(t)\|$, is
the speed of the particle.



\section{Local Theory: Frenet Frame}
What distinguishes a circle or a helix from a line is their curvature,
i.e., the tendency of the curve to change direction. We shall now see that we
can associate to each smooth ($C^3$) arclength-parametrized curve $\alpha$ a
natural ``moving frame" (an orthonormal basis for $\mathbb R^3$ chosen at each point on
the curve, adapted to the geometry of the curve as much as possible).

We begin with a fact from vector calculus that will appear throughout this
course.

Suppose $f, g: (a,b)\to\mathbb R^3$
are differentiable and satisfy $f(t)\cdot g(t)=\text{const}$ for all $t$.
Then $f'(t)\cdot  g(t) = -f(t)\cdot g'(t)$. In particular,
$$\|f(t)\|=\text{const} \quad\text{if and only if}\quad f(t)\cdot f'(t)=0
\quad\text{for all }t\,.$$







What distinguishes a circle or a helix from a line is their curvature,
i.e., the tendency of the curve to change direction. We shall now see that we
can associate to each smooth ($C^3$) arclength-parametrized curve $\alpha$ a
natural ``moving frame" (an orthonormal basis for $\mathbb R^3$ chosen at each point on
the curve, adapted to the geometry of the curve as much as possible).

We begin with a fact from vector calculus that will appear throughout this
course.

Suppose $f, g: (a,b)\to\mathbb R^3$
are differentiable and satisfy $f(t)\cdot g(t)=\text{const}$ for all $t$.
Then $f'(t)\cdot  g(t) = -f(t)\cdot g'(t)$. In particular,
$$\|f(t)\|=\text{const} \quad\text{if and only if}\quad f(t)\cdot f'(t)=0
\quad\text{for all }t\,.$$


What distinguishes a circle or a helix from a line is their curvature,
i.e., the tendency of the curve to change direction. We shall now see that we
can associate to each smooth ($C^3$) arclength-parametrized curve $\alpha$ a
natural ``moving frame" (an orthonormal basis for $\mathbb R^3$ chosen at each point on
the curve, adapted to the geometry of the curve as much as possible).

We begin with a fact from vector calculus that will appear throughout this
course.

Suppose $f, g: (a,b)\to\mathbb R^3$
are differentiable and satisfy $f(t)\cdot g(t)=\text{const}$ for all $t$.
Then $f'(t)\cdot  g(t) = -f(t)\cdot g'(t)$. In particular,
$$\|f(t)\|=\text{const} \quad\text{if and only if}\quad f(t)\cdot f'(t)=0
\quad\text{for all }t\,.$$


What distinguishes a circle or a helix from a line is their curvature,
i.e., the tendency of the curve to change direction. We shall now see that we
can associate to each smooth ($C^3$) arclength-parametrized curve $\alpha$ a
natural ``moving frame" (an orthonormal basis for $\mathbb R^3$ chosen at each point on
the curve, adapted to the geometry of the curve as much as possible).

We begin with a fact from vector calculus that will appear throughout this
course.

Suppose $f, g: (a,b)\to\mathbb R^3$
are differentiable and satisfy $f(t)\cdot g(t)=\text{const}$ for all $t$.
Then $f'(t)\cdot  g(t) = -f(t)\cdot g'(t)$. In particular,
$$\|f(t)\|=\text{const} \quad\text{if and only if}\quad f(t)\cdot f'(t)=0
\quad\text{for all }t\,.$$


What distinguishes a circle or a helix from a line is their curvature,
i.e., the tendency of the curve to change direction. We shall now see that we
can associate to each smooth ($C^3$) arclength-parametrized curve $\alpha$ a
natural ``moving frame" (an orthonormal basis for $\mathbb R^3$ chosen at each point on
the curve, adapted to the geometry of the curve as much as possible).

We begin with a fact from vector calculus that will appear throughout this
course.

Suppose $f, g: (a,b)\to\mathbb R^3$
are differentiable and satisfy $f(t)\cdot g(t)=\text{const}$ for all $t$.
Then $f'(t)\cdot  g(t) = -f(t)\cdot g'(t)$. In particular,
$$\|f(t)\|=\text{const} \quad\text{if and only if}\quad f(t)\cdot f'(t)=0
\quad\text{for all }t\,.$$

\end{document}

I hope this helps.

12
  • 2
    Welcome to TeX.SX! Would you mind providing a complete document which reproduces this problem? It sincerely helps people help you. Take care! Commented Apr 13 at 0:01
  • 1
    Jasper: I hope it's the second edition :) Commented Apr 13 at 1:47
  • 1
    welcome! it's better (and easier) if you use a package such as kantlipsum, lipsum or blindtext for content. that way, your code can be very short even if it produces lots of pages. also, people don't stop to read the content if they try out your example ... Commented Apr 13 at 5:13
  • 1
    off-topic: you should not use $$...$$ for display maths in latex. Commented Apr 13 at 5:13
  • 1
    it is ok with tl2024. it breaks in tl2025. and it is (unsurprisingly) ams specific. i.e. book works. Commented Apr 13 at 5:16

1 Answer 1

5

The firstaid code patches some AMS classes, but not (yet) this one. Until it (hopefully) does or until (even more hopefully) the AMS classes are updated, you can add similar code to the preamble.

\documentclass[11pt]{amsbook}
\usepackage{kantlipsum}
\ExplSyntaxOn
  \DeclareRobustCommand*\markboth[2]{%
      \mark_insert:nn{2e-left}{#1}
      \mark_insert:nn{2e-right}{#2}
      \tl_if_empty:nF{#2}{ \mark_insert:nn{2e-right-nonempty}{#2} }
  }
  \cs_set:Npn \leftmark {\mark_use_last:nn{page}{2e-left}}
  \cs_set:Npn \rightmark {\mark_use_first:nn{page}{2e-right}}
\ExplSyntaxOff

\renewcommand{\chaptermark}[1]{\markboth{\scshape\chaptername\ \thechapter. #1}{}}%
\renewcommand{\sectionmark}[1]{\markright{\scshape\S\thesection. #1}}%


\begin{document}
\chapter{Curves}

\section{Examples, Arclength Parametrization}
\kant[1-5]
\section{Examples, Arclength Parametrization}
\kant[1-5]

\chapter{Curves}
\section{Examples, Arclength Parametrization}
\kant[1-5]
\section{Examples, Arclength Parametrization}
\kant[1-5]

\end{document}

headers

8
  • 1
    Fascinating! Thanks, just a workaround such as I was hoping for. I will try to understand the syntax. Thanks again! And thanks for letting me know about kantlipsum. In my 35+ years of using TeX/LaTeX, this is my first time posting here. :) Commented Apr 13 at 5:33
  • I think this probably works because the custom \chaptermark and \sectionmark mean modifying \@secmark isn't required? according to the code in firstaid, amsbook book isn't patched before it more-or-less works and would require additional changes. however, since it doesn't work and this does, maybe it is ok when customising the marks in this way? Commented Apr 13 at 5:35
  • @TedShifrin ^^ be aware in case this breaks something. latex2e-first-aid-for-external-files.dtx contains the code and documentation I'm referring to. Commented Apr 13 at 5:37
  • 1
    My book compiled beautifully, so it doesn't seem to be breaking anything (yet). Thanks again for your help. I will look for notifications that the amsbook format might be revised. .... Commented Apr 13 at 5:41
  • @cfr could you raise an issue in the latex2e repo, so we don't lose this, thanks Commented Apr 13 at 7:52

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.