☰

括弧内のBigcup、bigwedgeなどは上部にスペースが確保されます

tag-icon • tag-icon math-mode math-operators
括弧内のBigcup、bigwedgeなどは上部にスペースが確保されます

次の式が欲しいです:

\[\Phi=\{\phi\}\cup\left\{\exists \mathsf{x_0}\ldots\exists \mathsf{x_{n-1}}\left[\bigwedge_{0\leq i<j\leq n-1} \mathsf{x_i}\neq\mathsf{x_j}\right]\right\}\]

出力は次のようになります: ここに画像の説明を入力してください

ご覧のとおり、 の上に大きなスペースができました\bidwedge。 の使用によって\limits何も変わりません。 より見栄えの良いセットを得るにはどうすればよいですか?

答え1

\leftそして、\right常に式の軸、つまり分数線が置かれる仮想線に対して対称なフェンスを生成します。

大きな演算子には制限があるため、フェンスでそれらを覆う必要はありません。この場合は\bigg十分であり、区切り文字が大きすぎることを回避できます。制限が非常に広いため、手動で修正できる小さな方法が 1 つだけあります。\,括弧と演算子の間に追加します。

\documentclass{article}
\usepackage{amsmath}
\begin{document}

\[
\Phi=\{\phi\}\cup
  \biggl\{\exists \mathsf{x_0}\dots
         \exists \mathsf{x_{n-1}}
  \biggl[\,\bigwedge_{0\leq i<j\leq n-1} \mathsf{x_i}\neq\mathsf{x_j}
  \biggr]
  \biggr\}
\]

\end{document}

ここに画像の説明を入力してください

実際、私は次のことを試してみたいと思います\Big:

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\Phi=\{\phi\}\cup
  \Bigl\{\exists \mathsf{x_0}\dots
         \exists \mathsf{x_{n-1}}
  \Bigl[\,\bigwedge_{0\leq i<j\leq n-1} \mathsf{x_i}\neq\mathsf{x_j}
  \Bigr]
  \Bigr\}
\]
\end{document}

ここに画像の説明を入力してください

答え2

コマンドの 1 つを使用して、\big,\Big,\bigg, \Bigg区切り文字のサイズを必要に応じて調整できます。これは、DeclarePairedDelimiterfrom を使用して自動化できますmathtools。例として、バージョン\setで使用されるコマンドがあります\set*。これは、 のペアに対応します\left … \right。または、オプションの引数\big、\Big、などを受け入れます。

私の意見では、このコンテキストではあまり見栄えがよくない、角括弧なしの次のコードのいずれかを提案します。

\documentclass[12pt]{article}

\usepackage{mathtools}
\DeclarePairedDelimiter\set{\{}{\}}

\begin{document}

\[\Phi=\{\phi\}\cup\set[\bigg]{\exists \mathsf{x_0}\ldots\exists \mathsf{x_{n-1}}\left(\smash[b]{\bigwedge_{0\leq i<j\leq n-1}} \mathsf{x_i}\neq\mathsf{x_j}\right)}\]
\[\Phi=\{\phi\}\cup\biggl\{\exists \mathsf{x_0}\ldots\exists \mathsf{x_{n-1}}\textsf{, } \smash[b]{\bigwedge_{0\leq i<j\leq n-1}} \mathsf{x_i}\neq\mathsf{x_j}\biggr\}\]

\end{document}

ここに画像の説明を入力してください

答え3

の使用は\mathsf変数名に限定した方がよいでしょう。インデックス変数0、i、j、n-1などに拡張することはお勧めしません。式をよりコンパクトに記述するには、パッケージmathtools(パッケージのスーパーセットamsmath) とそのパッケージの\smashoperatorディレクティブをロードすることもできます。最後に、他の回答でも示唆されているように、この方法で生成されるサイズは印刷上、大きすぎるため、括弧のサイズを指定するために\leftおよびディレクティブは使用しません。代わりにおよび を\right使用してください。\biggl\biggr

ここに画像の説明を入力してください

\documentclass{article}
\usepackage{mathtools} % for '\smashoperator' macro
\begin{document}
\[
\Phi=\{\phi\} \cup
     \biggl\{\exists \mathsf{x}_0 \dots \exists \mathsf{x}_{n-1}
     \biggl[ \, \smashoperator[r]{\bigwedge_{0\leq i<j\leq n-1}} 
     \mathsf{x}_i \neq \mathsf{x}_j
  \biggr]
  \biggr\}
\]
\end{document}

関連情報