☰

为什么“/forestset”中的“默认前言”被忽略？

tag-icon • tag-icon forest
为什么“/forestset”中的“默认前言”被忽略？ 
\documentclass[oneside,12pt]{article}
\usepackage{geometry}
\usepackage{microtype}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}

\usepackage{enumitem}
\setlist[enumerate,1]{label=\bfseries\Alph*,align=left,leftmargin=*,
  labelsep=1.5em}
\setlist[enumerate,2]{label=\arabic*.,labelindent=1em,labelsep=1.5em,
  leftmargin=*}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsthm}
\theoremstyle{definition}
\newtheorem*{sol}{Solution}

\usepackage{forest}
\forestset{
  ass/.append style={
    before computing xy={l=\baselineskip},
    no edge
  },
  prooftree/.style={
    for tree={
      child anchor=north,
      parent anchor=south
    }
  },
  default preamble={
    prooftree,
    for root={baseline},
    for tree={%
      if n children={1}{for children={ass}}{},
      math content
    }
  }
}

\begin{document}
\subsection*{Exercises 28}
\begin{enumerate}
\item Let's use `$\vDash$' now to abbreviate `q-entails'. Which of the
  following claims are true? Provide arguments in the style of 28.2 and 28.6
  to defend your answers.
  \begin{enumerate}
  \item $\forall x(Fx\supset Gx)\vDash\forall x(Gx\supset Fx)$
    \begin{sol}
      Try the following q-valuation:
      \begin{quote}
        Domain = all people\\
        Extension of `F' = all singers\\
        Extension of `G' = all people who know how to sing
      \end{quote}
      Then, the premiss is true, but the conclusion is false.
    \end{sol}
  \item $\forall x(Fx\supset Gx)\vDash\forall x(\neg Gx\supset\neg Fx)$
    \begin{sol}
      \begin{forest}
        [$\forall x(Fx\supset Gx)$
        [$\forall x$]]
      \end{forest}
    \end{sol}
  \end{enumerate}
\end{enumerate}
\end{document}

生产

在此处输入图片描述

但我期望看到。

在此处输入图片描述

我怎样才能default preamble应用于森林环境？

答案1

您正在使用 Forest 的第 1 版。default preamble在第 2 版中提供。要使其正常工作，您必须：

  1. 将 Forest 更新至版本 2 (最好是 2.0.1，最好通过更新您的 TeX 发行版来更新)；

  2. $从最后一棵树上移除标志。

    \begin{forest}        
  [\forall x(Fx\supset Gx)
    [\forall x]
  ]
\end{forest}

图像

default preamble如果您只能访问软件包的版本 1，则无法使用。如果我恢复到版本 1 并替换$符号，那么我会得到与您相同的输出。

相关内容