"Marcar" alguna parte de un comando como prefijo o sufijo para que no se vea afectada por otro comando

"Marcar" alguna parte de un comando como prefijo o sufijo para que no se vea afectada por otro comando

Estoy en una situación bastante única. Me gustaría "marcar" partes de la salida de un comando como prefijo o sufijo. Por ejemplo:

\newcommand{\L}[1]{L\postfix{_i}}

Y luego poder hacer algo como esto:

\newcommand{\est}[1]{\prefixof{#1}\hat{\mainbodyof{#1}}\postfixof{#1}}

Idealmente, esto debería funcionar en texto normal, por ejemplo, \est{\lambda}debería expandirse a \hat{\lambda}. Además, \Ldebería expandirse a L_iy \est{\L}debería expandirse a \hat{L}_i.

Sé que esto es posible con TeX (ya que Turing está completo y todo), pero no tengo idea de por dónde empezar ni qué etiquetas poner en la pregunta exactamente aparte de macros.

Parece que la respuesta de @DavidCarlisle no funciona en este caso:

\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}

Ejemplo que no funciona

¿Quizás también sea posible hacer que funcione para esto?

\show\queueStateproducción:

> \queueState=macro:
->\@protected@testopt \queueState \\queueState {}.

Respuesta1

ingrese la descripción de la imagen aquí

\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}

información relacionada