latex 用于数学内联方程

latex 用于数学内联方程

在此处输入图片描述

我怎样才能制作这样的内联方程式?

 ${\left\{B,A_1,...,A_m \right\} $
          $\frac{\left\{¬B,C_1,...,C_m \right\}} $} 
           $\left\{A_1,...,A_m,C_1,....C_n \right\} $

我应该使用 amsmath 吗?

答案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}

newtx 样本

相关内容