Hay muchos tipos nuevos de símbolos utilizados en el libro: Matemáticas concretas de Graham Knuth y Patashnik. Estoy tratando de encontrar muchas de estas notaciones útiles como símbolos de látex, pero fallé. por ejemplo, poder factorial descendente que se parece a:
Probé una combinación de ^ y \uline pero no parece tan buena.
También cómo mostrar algo de texto en la parte superior como el siguiente:
Respuesta1
No veo ninguna dificultad real:
\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}
Después de agregar
\usepackage[euler-digits]{eulervm}
usted obtiene
Por cierto, así es exactamente como se realiza en gkpmac.tex(el archivo macro utilizado para componer “Concrete Mathematics”).
\input gkpmac
$$
x\_{n}\qquad x\_^{n}
$$
\bye
Las macros:
\def\_#1{\def\next{#1}%
\ifx\next\risingsign\expandafter\rising\else^{\underline{#1}}\fi}
\def\risingsign{^}
\def\rising#1{^{\overline{#1}}}
Una posible mejora:
\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}
