\NewDocumentCommand 修飾/標記語法

\NewDocumentCommand 修飾/標記語法

編輯:大衛卡萊爾在評論中友善地提供了答案,這是 \makeatletter 之後的定義。

我試圖使用 \NewDocumentCommand 中的修飾來定義一個巨集來緊縮 \Gamma 上的下標(作為更一般問題的測試案例),但不知道如何處理素數。由於它們不接受參數,因此我嘗試了下面的兩個註釋的版本,但在最後一個範例中的兩種情況下, _ 不再被視為修飾。有沒有辦法解決這個問題?

\documentclass{article}

\NewDocumentCommand{\kernedGamma}{e{^_}}{\Gamma\IfValueT{#1}{^{#1}}\IfValueT{#2}{_{\mkern-3mu #2}}}
%\NewDocumentCommand{\kernedGamma}{e{^_'}}{\Gamma\IfValueT{#1}{^{#1}}\IfValueT{#2}{_{\mkern-3mu #2}}\IfValueT{#3}{^{\prime}#3}}
%\NewDocumentCommand{\kernedGamma}{e{^_}t'}{\Gamma\IfValueT{#1}{^{#1}}\IfValueT{#2}{_{\mkern-3mu #2}}\IfBooleanT{#3}{^{\prime}}}

\makeatletter
\RenewDocumentCommand{\kernedGamma}{e{^_}t'e{_}}{\Gamma\IfValueT{#1}{^{#1}}
\IfValueT{#2}{_{\mkern-3mu #2}}\IfBooleanT{#3}{^{\prime}}
\IfValueT{#4}{\IfValueT{#2}{\@latex@error{embellishment used twice}}_{\mkern-3mu #4}}}
\makeatother

\begin{document}

$\Gamma_1$ $\kernedGamma_1$ 

$\Gamma^2_2$ $\kernedGamma^2_2$ 

$\Gamma_1'$ $\kernedGamma_1'$ 

$\Gamma'_1$ $\kernedGamma'_1$ 

\end{document}

答案1

使用e{^_}t'e{^_}

\documentclass{article}

\NewDocumentCommand{\kernedGamma}{e{^_}t'e{^_}}{%
  \kernedGammaAux{#1}{#2}{#3}{#4}{#5}%
}

\ExplSyntaxOn

\NewDocumentCommand{\kernedGammaAux}{mmmmm}
 {
  \bourke_kernedGamma:nnnnn { #1 } { #2 } { #3 } { #4 } { #5 }
 }

\cs_new_protected:Nn \bourke_kernedGamma:nnnnn
 {%#1 = first sup, #2 = first sub, #3 = prime, #4 = second sup, #5 = second sub
  \Gamma
  \bool_if:nTF { #3 }
   {% there's a prime
    \sp{ \tl_if_novalue:nF { #1 } { #1 } \prime \tl_if_novalue:nF { #4 } { #4 } }
   }
   {%
    \exp_args:Ne \tl_if_empty:nF { \__bourke_double:nn { #1 } { #4 } }
     {
      \sp{ \__bourke_double:nn { #1 } { #4 } }
     }
   }
  \sb{ \mkern -3mu ~ \__bourke_double:nn { #2 } { #5 } }
 }

\cs_new:Nn \__bourke_double:nn
 {
  \tl_if_novalue:nF { #1 } { \exp_not:n { #1 } } 
  \tl_if_novalue:nF { #2 } { \exp_not:n { #2 } } 
 }

\ExplSyntaxOff

\begin{document}

$\kernedGamma$ $\Gamma$

$\kernedGamma'$ $\Gamma'$ $\Gamma^{\prime}$

$\kernedGamma'^{2}_{i}$ $\Gamma'^{2}_{i}$

$\kernedGamma_{i}^{2}'$ $\Gamma^{2\prime}_{i}$

$\kernedGamma_{i}'^{2}$ $\Gamma'^{2}_{i}$

$\kernedGamma_{i}^{2}$ $\Gamma^{2}_{i}$

\end{document}

(如果 Imgur 允許的話,稍後會添加圖片)

相關內容