Existem muitos novos tipos de símbolos usados no livro: Matemática Concreta, de Graham Knuth e Patashnik. Estou tentando encontrar muitas dessas notações úteis como símbolos de látex, mas falhei. por exemplo, poder fatorial decrescente que se parece com:
Tentei uma combinação de ^ e \uline mas não parece tão boa.
Além disso, como mostrar algum texto no topo, como a seguir:
Responder1
Não vejo nenhuma dificuldade 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}
Depois de adicionar
\usepackage[euler-digits]{eulervm}
você consegue
A propósito, é exatamente assim que é realizado em gkpmac.tex(o arquivo macro usado para composição “Matemática do Concreto”).
\input gkpmac
$$
x\_{n}\qquad x\_^{n}
$$
\bye
As macros:
\def\_#1{\def\next{#1}%
\ifx\next\risingsign\expandafter\rising\else^{\underline{#1}}\fi}
\def\risingsign{^}
\def\rising#1{^{\overline{#1}}}
Uma possível melhoria:
\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}
