如何在定义头中使用 DejaVu Sans Mono？

Question

我有这个代码：

\documentclass[12pt]{article}

\usepackage[scaled=0.9]{DejaVuSansMono}
\usepackage{listings}
\lstset{basicstyle=\ttfamily}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
\newtheorem{definition}{Definition}


\begin{document}
This is a test. \lstinline!Positive! set.

\begin{definition}[Positive]\ \\
  \indent A set $S$ is called positive if \ldots
\end{definition}

\end{document}

当我写\begin{definition}[\lstinline!Positive!]而不是 时\begin{definition}[Positive]，定义标题就会消失。（LaTeX 仅显示定义主体。）

如何解决这个问题？

Answer 1

添加

 \usepackage[T1]{fontenc}

在您加载之前dejavusansmono并为您的定义使用：

 \begin{definition}[\texttt{Positive}]~\newline