LaTeX2e 中的 Unicode 字符

Question

我尝试使使用 unicode 字符（例如希腊字符）的 agda 代码在 LaTeX2e 文件（使用 lmcs.cls 文件）中可读http://www.lmcs-online.org/Information/lmcs.cls）因此，对于类似的问题，我无法按照建议使用 XeLaTeX。

更准确地说，我添加了必要的行http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.LiterateAgda 到我的文件。如那里所述，某些 Unicode 字符可能仍不可用，需要单独声明。

这是一个（可能是最小的）例子：

 \documentclass{lmcs}

\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{autofe}

\usepackage[greek,english]{babel} %note: after loading autofe

\DeclareUnicodeCharacter{"03B9}{\textiota}     % ι
\DeclareUnicodeCharacter{"27E6}{\llbracket} 

\begin{document}
ι
⟦
\end{document}

这样做的问题是：1）即使没有错误消息，\textiota 也不会显示在 pdf 输出中，2）会出现错误消息“未定义的控制序列”。 \u-document-10214 #1->\llbracket