对于报告，我想使用 alltt 环境以 tt 字体排版 HOL4 代码。
我的代码包括 U+201C 左双引号和 U+201D 右双引号。
alltt 环境不会排版这些字符。
我在序言中使用了以下内容：
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
建议在https://jwodder.github.io/kbits/posts/unicode-latex/
tt 字体是否缺少这些引号字形？或者 alltt 包不能很好地处理这些字形？
我怎样才能解决这个问题？
更新
根据普遍的要求，我给你一个最小的非工作示例：
\documentclass{article}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{alltt}
\begin{document}
\begin{alltt}
Type name = “:num”
\end{alltt}
\end{document}
我得到的输出是：
我的XeLaTeX版本信息是：
$ xelatex --version
MiKTeX-XeTeX 2.9.7345 (0.999992) (MiKTeX 2.9.7300 64-bit)
(C) 1994-2008 by SIL International, (C) 2009-2012 by Jonathan Kew, (C) 2010-2012 by Han The Thanh, (C) 2012-2013 by Khaled Hosny
TeX is a trademark of the American Mathematical Society.
using bzip2 version 1.0.6, 6-Sept-2010
compiled with curl version 7.61.1; using libcurl/7.61.1 WinSSL
compiled with expat version 2.2.6; using expat_2.2.6
compiled with fontconfig version 2.13.1; using 2.13.1
compiled with freetype2 version 2.9.1; using 2.9.1
compiled with graphite2 version 1.3.12; using 1.3.12
compiled with harfbuzz version 2.5.3; using 2.5.3
compiled with icu version 60.1; using 60.1
compiled with jpeg version 9.3
compiled with liblzma version 50020042; using 50020042
compiled with libpng version 1.6.37; using 1.6.37
compiled with libressl version LibreSSL 2.8.2; using LibreSSL 2.8.2
compiled with MiKTeX Application Framework version 4.7348; using 4.7348
compiled with MiKTeX Core version 16.7346; using 16.7346
compiled with MiKTeX Archive Extractor version 1.6882; using 1.6882
compiled with MiKTeX Package Manager version 8.7350; using 8.7350
compiled with poppler version 0.60.1
using teckit version 2.4
compiled with uriparser version 0.9.2
compiled with zlib version 1.2.11; using 1.2.11
答案1
用户 @campa 给出了一个可行的答案：
您不应该使用 xelatex 加载 fontenc 和 inputenc。删除它们应该可以
事实上，删除它们会导致：
一个教训是不要相信互联网上的任何 LaTeX 建议，例如