如何输入开区间

Question

我想使用以下符号写出开区间和半开区间：

]a, b[
]a, b]
]-∞, b]

当在 LaTeX 源中这样书写时，间距会不正确。例如，对于这个等式：

 \(X = ]-\frac{π}{2}, +\frac{π}{2}[\)

减号被排版为二元运算符。我可以通过将整个值括在括号中来解决这个问题，但等号周围的间距仍然不正确。对于其他间隔和运算符的组合，会出现不同的间距不一致。

为了完全避免处理这个问题，输入间隔的正确且简单的方法是什么？

Answer 1

您可以使用\left]，\right[然后将括号作为分隔符（并且根据内容调整大小）：

\(X = \left]-\frac{π}{2}, +\frac{π}{2}\right[\)

Answer 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建议的更改（这是我的答案，当时尚未注册）。

Answer 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} 

Answer 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}