В книге используется много новых типов символов: Конкретная математика Грэма Кнута и Паташника. Я пытаюсь найти многие из этих полезных обозначений в виде латексных символов, но безуспешно. Например, степень падающего факториала, которая выглядит примерно так:
Я попробовал комбинацию ^ и \uline, но она не показалась мне такой уж хорошей.
А также как отобразить текст сверху, например:
решение1
Я не вижу никаких реальных трудностей:
\documentclass{article}
\usepackage{amsmath}
\newcommand{\fallingfactorial}[1]{%
^{\underline{#1}}%
}
\begin{document}
\[
x\fallingfactorial{n}={\overbrace{x(x-1)\dots(x-n+1)}^{\text{$n$ factors}}}
\]
\end{document}
После добавления
\usepackage[euler-digits]{eulervm}
Вы получаете
Кстати, именно так это и реализовано в gkpmac.tex(макрос-файле, используемом для набора «Конкретной математики»).
\input gkpmac
$$
x\_{n}\qquad x\_^{n}
$$
\bye
Макросы:
\def\_#1{\def\next{#1}%
\ifx\next\risingsign\expandafter\rising\else^{\underline{#1}}\fi}
\def\risingsign{^}
\def\rising#1{^{\overline{#1}}}
Возможное улучшение:
\documentclass{article}
\usepackage{amsmath}
\usepackage[euler-digits]{eulervm}
\newcommand{\fallingfactorial}[1]{%
^{\mspace{2mu}\underline{\mspace{-2mu}#1\mspace{-2mu}}\mspace{2mu}}%
}
\newcommand{\raisingfactorial}[1]{%
^{\mspace{2mu}\overline{\mspace{-2mu}#1\mspace{-2mu}}\mspace{2mu}}%
}
\begin{document}
\[
x\fallingfactorial{n}={\overbrace{x(x-1)\dots(x-n+1)}^{\text{$n$ factors}}}
\]
\[
x\raisingfactorial{n}={\overbrace{x(x+1)\dots(x+n-1)}^{\text{$n$ factors}}}
\]
\end{document}
