我想使用以下符号写出开区间和半开区间：
]a, b[
]a, b]
]-∞, b]
当在 LaTeX 源中这样书写时，间距会不正确。例如，对于这个等式：
\(X = ]-\frac{π}{2}, +\frac{π}{2}[\)
减号被排版为二元运算符。我可以通过将整个值括在括号中来解决这个问题，但等号周围的间距仍然不正确。对于其他间隔和运算符的组合，会出现不同的间距不一致。
为了完全避免处理这个问题，输入间隔的正确且简单的方法是什么？
答案1
您可以使用\left]，\right[然后将括号作为分隔符（并且根据内容调整大小）：
\(X = \left]-\frac{π}{2}, +\frac{π}{2}\right[\)
答案2
虽然我来晚了，但这里有一个稍微更简洁的解决方案：
\usepackage{xparse}
\NewDocumentCommand{\INTERVALINNARDS}{ m m }{
#1 {,} #2
}
\NewDocumentCommand{\interval}{ s m >{\SplitArgument{1}{,}}m m o }{
\IfBooleanTF{#1}{
\left#2 \INTERVALINNARDS #3 \right#4
}{
\IfValueTF{#5}{
#5{#2} \INTERVALINNARDS #3 #5{#4}
}{
#2 \INTERVALINNARDS #3 #4
}
}
}
它允许您执行以下操作：
\begin{align*}
\interval[{a,b}] && && \\
\interval[{a,b}) && \text{or} && \interval[{a,b}[ \\
\interval({a,b}] && \text{or} && \interval]{a,b}] \\
\interval({a,b}) && \text{or} && \interval]{a,b}[
\end{align*}
得到如下结果：
或者使用手动或自动调整大小：
\begin{equation*}
\interval[{a,\infty})[\Bigg] \quad \text{or} \quad
\interval*[{-\frac{\pi}{2},\frac{\pi}{2}}]
\end{equation*}
获得：
编辑：添加了egreg建议的更改（这是我的答案，当时尚未注册）。
答案3
该interval包负责处理括号的间距和比例。
编辑.示例代码：
\documentclass{article}
\usepackage{interval}
\begin{document}
\[ \interval[scaled]{-\frac{\pi}{2}}{\frac{\pi}{2}}\qquad\interval[scaled=\bigg]{-\frac{\pi}{2}}{\frac{\pi}{2}} \]%
\end{document}
答案4
这是一个宏，它负责处理间距，并允许您在可调整大小的版本（后面跟一个星号，用于显示）和固定大小的版本（不带星号，用于文本）之间进行选择。您有四个宏，，\intervalcc和用于各种类型的间隔（表示开放和表示封闭）：\intervaloo\intervaloc\intervalcooc
\documentclass{article}
\makeatletter
\DeclareRobustCommand{\genericinterval}[2]{%
\@ifstar{\genericinterval@star{#1}{#2}}{\genericinterval@nostar{#1}{#2}}}
\newcommand{\genericinterval@star}[4]{\mathopen{}\mathclose{\left#1#3,#4\right#2}}
\newcommand{\genericinterval@nostar}[4]{\mathopen{#1}#3,#4\mathclose{#2}}
\newcommand{\intervalcc}{\genericinterval[]}
\newcommand{\intervaloo}{\genericinterval][}
\newcommand{\intervaloc}{\genericinterval]]}
\newcommand{\intervalco}{\genericinterval[[}
\makeatother
\begin{document}
$I = \intervalcc{-a^2}{b^2} \cap \intervalcc{-\frac{\pi}{2}}{\frac{\pi}{2}}.$
\[I = \intervalcc{-a^2}{b^2} \cap \intervalcc*{-\frac{\pi}{2}}{\frac{\pi}{2}}.\]
$I = \intervaloo{-a^2}{b^2} \cap \intervaloo{-\frac{\pi}{2}}{\frac{\pi}{2}}.$
\[I = \intervaloo{-a^2}{b^2} \cap \intervaloo*{-\frac{\pi}{2}}{\frac{\pi}{2}}.\]
$I = \intervaloc{-a^2}{b^2} \cap \intervaloc{-\frac{\pi}{2}}{\frac{\pi}{2}}.$
\[I = \intervaloc{-a^2}{b^2} \cap \intervaloc*{-\frac{\pi}{2}}{\frac{\pi}{2}}.\]
$I = \intervalco{-a^2}{b^2} \cap \intervalco{-\frac{\pi}{2}}{\frac{\pi}{2}}.$
\[I = \intervalco{-a^2}{b^2} \cap \intervalco*{-\frac{\pi}{2}}{\frac{\pi}{2}}.\]
\[\intervaloo*{-\frac{\pi}{2}}{\frac{\pi}{2}}^2.\]
\end{document}