Latex中数学公式分为行内公示和行间公式，行内公示很简单，可以用以下三种方式

1. $E=mc$

2. \( E=mc \)

3. \begin{math} E=mc \end{math}

这三个效果一样。行间公式的命令稍微有点多，主要有以下几个

1.$$ 公式 $$

2. \[ 公式\]

3. \begin{displaymath}

    公式

   \end{displaymath}

4. \begin{equation}

  公式

\end{equation}

5. \begin{align}

公式1

公式2

\end{align}

6. \begin{array}

公式1

公式2

\end{array}

首先方法1，2,3,效果一样，不加公式编号，相当于\begin{equation*}\end{equation*}，$$公式$$是latex自定义，不建议使用，因为没有明显的定义公式，不直观。其他的需要引入amsmath包。其中，\[ \]跟\displaymath是一样的，都相当于不加公式编号的equation，可以交替使用，但建议使用equation，因为直观。但是这几个适用于单个的公式，如果有多个公式需要排版对齐，应该使用\begin{align}。array环境适合于矩阵和长公式。此外，还有很多其他的命令适用于不同的情况，这些知识简单的最常用的。

align和array的比较 https://tex.stackexchange.com/questions/111891/aligned-environment-of-amsmath-vs-array-environment

下面展示的是displaymath和$的区别比较。displaymatch占的空间要大一点。

\begin{enumerate}

\item Modus Ponens

  \begin{displaymath}

    \frac{A \  A\Rightarrow B}{B}

  \end{displaymath}

\item Monotonicity

  \begin{displaymath}

    \frac{A \ \Rightarrow B}{(\alpha)A \Leftrightarrow

   (\alpha)B}

  \end{displaymath}

\item Bar Induction

  \begin{displaymath}

  \frac{(\alpha)A\rightarrow A}{(\langle

   \alpha^*\rangle)A\rightarrow A}

\end{displaymath}

\end{enumerate}

\begin{enumerate}

\item Modus Ponens

$

    \frac{A \  A\Rightarrow B}{B}

$

\item Monotonicity

$

    \frac{A \ \Rightarrow B}{(\alpha)A \Leftrightarrow

   (\alpha)B}

$

\item Bar Induction

$

  \frac{(\alpha)A\rightarrow A}{(\langle

   \alpha^*\rangle)A\rightarrow A}

$

\end{enumerate}