答案1
没有必要amsmath
尽管无论如何使用它都是一个好主意(因为它提供的其他功能)。amsmath
提供\dotsc
被ommas...
包围的c
。否则,你可以直接使用\ldots
:
\documentclass{article}
\usepackage{amsmath} % For \dotsc
\begin{document}
Some text
$\frac{ \{B, A_1, \dotsc, A_m \} \quad \{\neg B, C_1, \dotsc, C_m \} }{ \{ A_1, \dotsc, A_m, C_1, \dotsc, C_n \} }$
and then some more text.
\end{document}
如果一组内只有常规大小的内容,那么也没有必要使用\left
...。\right
答案2
您不需要任何额外的软件包。只需将整个表达式写成一个\frac
,无需离开或重新进入数学模式。
最棘手的部分是告诉 PDFTeX 接受¬
作为 的同义词\neg
。如果你可以使用unicode-math
,那么这将立即可用。
\documentclass{article}
\usepackage{newunicodechar}
\newunicodechar{¬}{\neg}
\begin{document}
\( \frac{ \left\{ B,A_1,\dots,A_m \right\} \quad \left\{ ¬B,C_1,\dots,C_m \right\}}
{ \left\{ A_1,\dots,A_m,C_1,\dots,C_n \right\} }
\)
\end{document}
由于您似乎正在使用 Times,因此您可以添加\usepackage{newtxtext, newtxmath}
PDFTeX 或\setmathfont{TeX Gyre Termes Math}
使用unicode-math
来更准确地重现您的屏幕截图。这是使用\usepackage{newtxmath}
: