
Я в довольно уникальной ситуации. Я хотел бы "отметить" части вывода команды как префикс или постфикс. Например:
\newcommand{\L}[1]{L\postfix{_i}}
И тогда можно будет сделать что-то вроде этого:
\newcommand{\est}[1]{\prefixof{#1}\hat{\mainbodyof{#1}}\postfixof{#1}}
В идеале это должно работать с обычным текстом, например, \est{\lambda}
должно расширяться до \hat{\lambda}
. Также \L
должно расширяться до L_i
, и \est{\L}
должно расширяться до \hat{L}_i
.
Я знаю, что это возможно с TeX (он ведь полный по Тьюрингу и все такое), но я понятия не имею, с чего начать или какие именно теги нужно указать в вопросе, кроме macros
.
Похоже, ответ @DavidCarlisle в данном случае не работает:
\documentclass{article}
\usepackage{etoolbox}
\newcommand\zzfix[3]{#1#2#3}%pre-main-post
\def\prefixof#1{\expandafter\zzpre#1\relax{#1}}
\def\postfixof#1{\expandafter\zzpost#1\relax{#1}}
\def\mainbodyof#1{\expandafter\zzmain#1\relax{#1}}
\def\zzpre#1{\ifx\zzfix#1\expandafter\oneoffive\else\expandafter\gobblepastrelax\fi}
\def\zzpost#1{\ifx\zzfix#1\expandafter\threeoffive\else\expandafter\gobblepastrelax\fi}
\def\zzmain#1{\ifx\zzfix#1\expandafter\twooffive\else\expandafter\afterrelax\fi}
\def\oneoffive#1#2#3\relax#4{#1}
\def\twooffive#1#2#3\relax#4{#2}
\def\threeoffive#1#2#3\relax#4{#3}
\def\afterrelax#1\relax#2{#2}
\def\gobblepastrelax#1\relax#2{}
\newcommand{\queueState}[1][]{\zzfix{}{\ell}{\ifstrempty{#1}{}{_{#1}}}}
\newcommand{\baseQuantity}[1]{\prefixof{#1}\bar{\mainbodyof{#1}}\postfixof{#1}}
\begin{document}
But this does not work: $\baseQuantity{\queueState[1:N]}$
\end{document}
Может быть, можно сделать так, чтобы это сработало и в этом случае?
\show\queueState
выход:
> \queueState=macro:
->\@protected@testopt \queueState \\queueState {}.
решение1
\documentclass{article}
\newcommand\zzfix[3]{#1#2#3}%pre-main-post
\renewcommand{\L}{\zzfix{}{L}{_i}}
\newcommand{\est}[1]{\prefixof{#1}\hat{\mainbodyof{#1}}\postfixof{#1}}
\def\prefixof#1{\expandafter\zzpre#1\relax{#1}}
\def\postfixof#1{\expandafter\zzpost#1\relax{#1}}
\def\mainbodyof#1{\expandafter\zzmain#1\relax{#1}}
\def\zzpre#1{\ifx\zzfix#1\expandafter\oneoffive\else\expandafter\gobblepastrelax\fi}
\def\zzpost#1{\ifx\zzfix#1\expandafter\threeoffive\else\expandafter\gobblepastrelax\fi}
\def\zzmain#1{\ifx\zzfix#1\expandafter\twooffive\else\expandafter\afterrelax\fi}
\def\oneoffive#1#2#3\relax#4{#1}
\def\twooffive#1#2#3\relax#4{#2}
\def\threeoffive#1#2#3\relax#4{#3}
\def\afterrelax#1\relax#2{#2}
\def\gobblepastrelax#1\relax#2{}
\begin{document}
Ideally, this should work on normal text, e.g. $\est{\lambda}$ should
expand to $\hat{\lambda}$. Also, $\L$ should expand to $L_i$, and $\est{\L}$
should expand to $\hat{L}_i$.
\end{document}