如何简洁地处理 \SplitArgument 的每个元素？

Question 1

我将定义一个通用命令，我们可以将我们想要的真实参数的“装饰”传递给它。

它看起来比你想象的要复杂，因为我真的不喜欢无条件地使用\left和\right。

您可以跟踪各种情况来了解如何选择括号和中间分隔符的大小。

\documentclass{article}
\usepackage{amsmath,amssymb}

\NewDocumentCommand{\genericprob}{m s o >{\SplitArgument{1}{|}}m }{%
  % #1 = decoration, #2 = * for automatic sizing, #3 = optional size
  % #4 = argument
  \mathbb{P}
  \IfBooleanTF{#2}
    {% automatic sizing
     \!\left(%
     \genericprobaux{#1}{\;\middle|\;}#4%
     \right)%
    }%
    {% no automatic sizing
     \IfNoValueTF{#3}
       {% normal size
        (\genericprobaux{#1}{\mid}#4)%
       }
       {% optional sizing
        \mathopen{#3(}\genericprobaux{#1}{\mathrel{#3|}}#4\mathclose{#3)}%
       }%
    }%
}
\NewDocumentCommand{\genericprobaux}{mmmm}{%
  #1{#3}%
  \IfValueT{#4}{#2#1{#4}}%
}
\NewDocumentCommand{\prob}{}{\genericprob{}}
\NewDocumentCommand{\problm}{}{\genericprob{\mathtt}}

\begin{document}

First of all a paragraph to show why it is in general not advisable to
use automatic sizing; here's an example inspired from a picture in Math.SE
taken from a paper typeset with \TeX{} where \verb|\prob*| does
automatic size $\prob*{\bigcup\limits_{g\in B_j}g(R)}$; this uses the
dreaded \verb|\limits|, but even without it the result is not optimal:
compare $\prob*{\bigcup_{g\in B_j}g(R)}$ with $\prob[\big]{\,\bigcup_{g\in B_j}g(R)}$
and judge for yourself.
\begin{gather*}
\prob{x}\ne\prob{x|y}
\\
\prob[\Big]{x}\ne\prob[\bigg]{x|y}
\\
\prob*{\frac{x}{2}}\ne\prob*{\frac{x}{2}|y}
\\
\problm{x}\ne\problm{x|y}
\\
\problm[\Big]{x}\ne\problm[\bigg]{x|y}
\\
\problm*{\frac{x}{2}}\ne\problm*{\frac{x}{2}|y}
\end{gather*}
Inspiring picture at \texttt{https://math.stackexchange.com/q/4038452/62967}

\end{document}

当然，最后一行实际上没有什么意义，只是为了说明。

显示的方程式之前的段落说明了为什么自动调整大小不是最好的。我相信这个例子是不言自明的。在使用的公式中\big，需要一个细小的空格。排版并不简单，但只要有一定经验，在查看打印输出之前就会看到这些冲突。

那怎么样\ensuremath？你只是在交换两个密钥时失去了语义。

最重要的是：如何\prob没有参数？因为它的定义由组成\genericprob{}，其余参数由这个更通用的宏获取。这避免了代码重复：我们可以用\problm不同的“装饰”定义和其他命令。

Answer

我将定义一个通用命令，我们可以将我们想要的真实参数的“装饰”传递给它。

它看起来比你想象的要复杂，因为我真的不喜欢无条件地使用\left和\right。