괄호 안의 빅컵, 빅웨지 등은 위에 공간을 확보합니다.

Question

다음 수식을 갖고 싶습니다.

\[\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아무것도 변경하지 않습니다. 좀 더 괜찮은 세트를 얻으려면 어떻게 해야 하나요?

Answer 1

\left항상 \right공식 축, 즉 분수선이 놓이는 가상선을 기준으로 대칭인 울타리를 생성합니다.

대규모 운영자에게는 한계가 있으므로 울타리가 이를 덮을 필요가 없습니다. 이 경우에는 \bigg충분하며 너무 큰 구분 기호를 피합니다. 작은 수동 수정은 단 하나뿐입니다. \,브래킷과 연산자 사이에 추가하는 것입니다. 한계가 매우 넓기 때문입니다.

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

Answer 2

명령 중 하나를 사용하여 \big,\Big,\bigg, \Bigg필요에 맞게 구분 기호의 크기를 조정할 수 있습니다. 이는 DeclarePairedDelimiterfrom 을 사용하여 자동화할 수 있습니다 mathtools. 예를 들어 버전 \set에서 사용되는 명령 은 ; 또는 선택적 인수 , , &c를 허용합니다.\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} 

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