我正在尝试使用 agda 包编译为 latex，当我对文学 agda 文件进行看似微不足道的更改时，出现了以下错误（请参阅https://agda.readthedocs.io/en/v2.6.1.1/tools/literate-programming.html#literate-agda-tex）
Missing character: There is no ℓ in font DejaVu Serif Italic/OT:script=latn;lan
guage=dflt;mapping=tex-text;!
如果我使用以下内容，我会得到正确的ell显示，但它会超出页面范围。
\documentclass[xetex]{beamer}
如果我将类更改为以下内容，我将获得一个不错的文档，它会显示页面上的所有代码，但不会处理ell上述错误。
\documentclass[xetex]{article}
\usepackage[left=1cm, right=1cm, top=2cm]{geometry}
是什么导致了这种变化？要以 pdf 格式查看显示内容，请参阅 https://github.com/wmacmil/latexAgdaShowase
编辑：作为参考，以下是其余的导入
\usepackage{agda}
\usepackage{fontspec}
\usepackage{unicode-math}
\setmainfont{DejaVu Serif}
\setsansfont{DejaVu Sans}
\setmathfont{XITS Math}
% Alternatively:
% \setmathfont{DejaVu Math TeX Gyre}
\setmonofont{DejaVu Sans Mono}
% \newunicodechar{ℓ}{\ensuremath{\mathnormal\ell}}
\begin{document}