我遇到了以下问题：在环境中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 包的所有引用，因为它使我的问题变得难以理解。
答案1
感谢大家对我的帖子的评论，我得出了以下答案：
数学模式搞乱了双引号，并且使用 stix 确实改变了与它们绑定的内容，而真正的问题是数学模式的使用。
由于我没有手动使用数学模式，因此无法将其关闭，\text{"three"}因此我使用了提供正确输出的模式。