¿Orden arbitrario xparse e tipo argumentos (adornos)?

¿Orden arbitrario xparse e tipo argumentos (adornos)?

¿Puedo usar argumentos de tipo e de xparse para redefinir cómo funcionan los subíndices y superíndices para un comando (por ejemplo, hacer que \mybeta coloque todos los subíndices y superíndices entre pares)? Intenté definir

 \NewDocumentCommand{\mybeta}{e_e^}{\beta_{(#1)}^{(#2)}}

Y parece funcionar bien si los coloco en el orden en que se especifican los argumentos, pero no cuando lo intento.

 \mybeta^{n}_{s}

donde recibo una advertencia de doble subíndice cuando quiero $\beta^{(n)}_{(s)}$

Supongo que tal vez necesite usar e{_^} como especificación del argumento, pero si lo hago, ¿cómo distingo los argumentos _ y ^ o los recupero? ¿O hay una manera diferente/mejor en la que debería hacer esto y he entendido mal los adornos por completo?

Respuesta1

La solución es, como predijo, utilizarla e{_^}en la especificación de su argumento. El orden de los adornos no importa. Y sí, ¡es sorprendente que funcione!

Respuesta2

Aparentemente (gracias a @LateXeraXeTal) solo usas

 \NewDocumentCommand{\mybeta}{e{_^}}{\beta_{(#1)}^{(#2)}}

Admito que estoy un poco confundido en cuanto a por qué no se utilizan múltiples especificadores de tipo de argumento e para hacer esto. ¿Se usarían alguna vez múltiples argumentos de tipo e?

información relacionada