
這個問題已經被發布過好幾次了,但是......
我正在尋找評估符號的一致實現:
- 作為分隔符號的評價欄:
<...>|
- 自動調整大小到其封閉表達式:
\left<...>\right
我是什麼不是尋找的是:
- 評價欄關係式:
<...>\mid
- 手動調整其封閉表達式的大小:
<...>bigg|
- 一個完整的宏!
現在的問題是,它\rvert
不會自動調整大小,而是\left.
插入額外的間距。
完美的形式是\left_
告訴乳膠將表達式括在此處,同時根本不從左側插入分隔符,無論可見或不可見。
您知道如何實施評估欄嗎?
(不只是迴避問題!)
作為一個例子,考慮:
\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align}
y(a)&=\frac12 x^2|_a\\
y(a)&=\frac12 x^2\rvert_a\\
y(a)&=\left.\frac12 x^2\right|_a
\end{align}
\end{document}
答案1
這是一個執行自動縮放的宏,但如果需要,也允許您手動指定大小。如果需要,您也可以指定限制的前綴,如第一組的最後一個範例所示:
筆記:
- 手動指定尺寸範例僅說明您可以選擇的尺寸的可能性。我並不是說所有這些大小都適合給定的分數。
代碼:
\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse}
% http://tex.stackexchange.com/questions/38868/big-parenthesis-in-an-equation
% http://tex.stackexchange.com/questions/6794/about-big-parenthesis-larger-than-bigg
\makeatletter
\newcommand{\vast}{\bBigg@{3}}
\newcommand{\Vast}{\bBigg@{3.5}}
\newcommand{\vastt}{\bBigg@{4}}
\newcommand{\Vastt}{\bBigg@{4.5}}
\makeatother
\newcommand{\BracKern}{\kern-\nulldelimiterspace}
\NewDocumentCommand{\Eval}{O{} o m m m}{%
% #1 = prefix to be added to each limit of evaluation (ex "x=").
% #2 = optional size specification to be applied (defaults to \left \right pair)
% \big \Big \bigg \Bigg \vast \Vast \vastt \Vastt
%
% #3 = expression being evaluated
% #4 = lower limit of evaluation
% #5 = upper limit of evaluation
\IfNoValueTF{#2}{%
\left.\BracKern#3\right\rvert_{#1#4}^{#1#5}%
}{%
#3#2\rvert_{#1#4}^{#1#5}%
}%
}
\usepackage{amsmath}
\begin{document}
\noindent
Automatically sized:
\begin{gather*}
\Eval{x^2}{0}{5} \quad
\Eval{\frac{1}{x}}{0}{5} \quad
\Eval[x=]{\frac{1}{x}}{0}{5}
\end{gather*}
Manually sized
\begin{gather*}
\Eval[][\big]{\frac{1}{x}}{0}{5} \quad
\Eval[][\Big]{\frac{1}{x}}{0}{5} \quad
\Eval[][\bigg]{\frac{1}{x}}{0}{5} \quad
\Eval[][\Bigg]{\frac{1}{x}}{0}{5} \quad
\Eval[][\vast]{\frac{1}{x}}{0}{5} \quad
\Eval[][\Vast]{\frac{1}{x}}{0}{5} \quad
\Eval[][\vastt]{\frac{1}{x}}{0}{5} \quad
\Eval[][\Vastt]{\frac{1}{x}}{0}{5}
\end{gather*}
\end{document}
答案2
巨集的應用https://tex.stackexchange.com/a/136767/4427
\documentclass{article}
\usepackage{amsmath}
\usepackage{xparse}
\ExplSyntaxOn
\DeclareDocumentCommand{\xDeclarePairedDelimiter}{mmmO{}}
{
\NewDocumentCommand{#1}{sO{}m}
{
\IfBooleanTF{##1}
{
\egreg_paired_delimiter_expand:nnnn {#2}{#3}{##3}{#4}
}
{
\egreg_paired_delimiter_fixed:nnnnn {##2}{#2}{#3}{##3}{#4}
}
}
}
\cs_new_protected:Npn \egreg_paired_delimiter_expand:nnnn #1 #2 #3 #4
{% Fix the spacing issue with \left and \right (D. Arsenau, P. Stephani and H. Oberdiek)
\mathopen{}
\mathclose\c_group_begin_token
\left#1
\str_if_eq:nnT { . } { #1 } { \kern-\nulldelimiterspace }
#3
\group_insert_after:N \c_group_end_token
\right#2
\tl_if_empty:nF {#4} { \c_math_subscript_token {#4} }
}
\cs_new_protected:Npn \egreg_paired_delimiter_fixed:nnnnn #1 #2 #3 #4 #5
{
\str_if_eq:nnF {.} { #2 } { \mathopen{#1#2} }
#4
\mathclose{#1#3}
\tl_if_empty:nF {#5} { \c_math_subscript_token {#5} }
}
\ExplSyntaxOff
%% the final optional argument to \xDeclarePairedDelimiter
%% is a subscript to the right fence
\xDeclarePairedDelimiter{\xeval}{.}{\rvert}[\evaluateat]
\newcommand{\evaluateat}{}
\NewDocumentCommand{\eval}{somm}{%
\begingroup
\renewcommand{\evaluateat}{#4}%
\IfBooleanTF{#1}
{\xeval*{#3}}
{\IfNoValueTF{#2}{\xeval{#3}}{\xeval[#2]{#3}}}%
\endgroup
}
\begin{document}
\begin{align}
y(a)&=\eval{\tfrac{1}{2}x^2}{a}\\
y(a)&=\eval[\Big]{\frac{1}{2}x^2}{a}\\
y(a)&=\eval[\bigg]{\frac{1}{2}x^2}{a}\\
y(a)&=\eval*{\dfrac{1}{2}x^2}{a}
\end{align}
\end{document}
的可選參數\eval
用於手動選擇尺寸;\eval*
就像使用\left
and一樣\right
。第二個論點是評價點。