'prooftree' 和 'stix' 包之间关于双引号的冲突

Question

我遇到了以下问题：在环境中prooftree，我的双引号变成了希腊字母。导入包后，这种情况开始发生stix

• 当我输入"three"它编译成εthreeε
• 当我输入''three``它编译成′′three}}

以下是一些附加信息：

• 它曾经可以工作，直到我导入了 stix，这显然把一切都搞砸了，但我需要它来表示大量的符号。
• 文档其余部分的引述都很好。

有人能解释这种奇怪的互动并提供解决方案吗？

---

这是一个最小的工作示例，它重点介绍了工作场景和不太工作的场景。

\documentclass[11pt,a4paper]{book}
\pagestyle{plain}
\usepackage[utf8x]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[english]{babel}
\usepackage{proof}

\usepackage{ebproof}
\usepackage{stix}

\begin{document}

"three" - ``three''

\begin{prooftree}
\hypo{}
\infer1{"three" - ``three''}
\end{prooftree}
\end{document}

---

结果如下：

---

编辑 ：我删除了对 csquotes 包的所有引用，因为它使我的问题变得难以理解。

Answer 1

感谢大家对我的帖子的评论，我得出了以下答案：

数学模式搞乱了双引号，并且使用 stix 确实改变了与它们绑定的内容，而真正的问题是数学模式的使用。

由于我没有手动使用数学模式，因此无法将其关闭，\text{"three"}因此我使用了提供正确输出的模式。