☰

修复连续方程

tag-icon • tag-icon math-mode errors
修复连续方程

我有以下 LaTeX 代码：

\documentclass[12pt, letterpaper]{article}

\usepackage{etoolbox, ifxetex, ifluatex}
\ifboolexpr{bool{xetex} or bool{luatex}}{
    \usepackage{polyglossia}
    \setdefaultlanguage[variant = american, ordinalmonthday = true]{english}
}{
    \usepackage[utf8x]{inputenc}
    \usepackage[T1]{fontenc}
    \usepackage[english]{babel}
}
\usepackage[usenames]{color}
\usepackage{amsmath, amssymb, mathtools}

\begin{document}
    \begin{math}
        \begin{aligned} 
            &\forall a, b, c \in \mathbb{X} \ldotp \left(a \leq b \land b \leq a \Rightarrow a = b\right) \land \left(a \leq b \land b \leq c \Rightarrow a \leq c \right) \land \left( a \leq b \lor b \leq a \right) \\
            &\left( \forall A \right) \left( \left( \left( \exists w \right) \left( w \in A \right) \land \left(\exists z \right)\left( \forall u \right)\left(u \in A \Rightarrow u \leq z \right) \right) \Rightarrow \left( \exists x \right)\left( \forall y \right)\left( \left( \forall w \right)\left(w \in A \Rightarrow w \leq y \right) \Leftrightarrow \left(x \leq y \right) \right) \right) \\
            &\vdots \\
            &\forall x \in \mathbb{R} \; \ldotp \forall \mathcal{P}\!\left(x\right) \ldotp \left\{\,x : \mathcal{P}\!\left(x\right) \,\right\} \ldotp \dots
        \end{aligned}
    \end{math}
\end{document}

第二个逻辑公式（最小上界属性的语句）超出了 PDF 的右侧，该 PDF 是在 OS X 10.10.3“Yosemite”下使用 TeXShop for OS X 中的 LuaLaTeX 处理此代码后生成的。我该如何解决这个问题？

答案1

您可以使用multlined：

\documentclass[12pt, letterpaper]{article}

\usepackage{amsmath, amssymb, mathtools}

\begin{document}

\begin{align*}
&\begin{multlined}[.9\displaywidth]
  \forall a, b, c \in \mathbb{X} \ldotp (a \leq b \land b \leq a \Rightarrow a = b) \\
    \land (a \leq b \land b \leq c \Rightarrow a \leq c) \land (a \leq b \lor b \leq a)
\end{multlined}\\
&\begin{multlined}[.9\displaywidth]
 (\forall A)(((\exists)(w\in A)\land (\exists z)(\forall u)(u \in A \Rightarrow u \leq z))
 \\
 \Rightarrow ( \exists x )( \forall y )( ( \forall w )(w \in A \Rightarrow w \leq y )
 \Leftrightarrow (x \leq y ) ) )
\end{multlined}\\
&\vdots \\
&\forall x \in \mathbb{R} \ldotp \forall \mathcal{P}(x) \ldotp
  \{\,x : \mathcal{P}\!(x) \,\} \ldotp \dots
\end{align*}

\end{document}

在此处输入图片描述

笔记。

  1. 不要使用utf8x，但是utf8。我省略了与当前问题无关的加载部分。

  2. 您所有的\left命令\right都完全没用。

  3. 第二行中的“exists”缺少变量；我没有尝试修复它。

  4. \!after的必要性\mathcal{P}正是源于一个错误的\left-\right配对。

相关内容