Agda 输入法、Σ ⇛ ⇒ 和 Latex 导出

Agda 输入法、Σ ⇛ ⇒ 和 Latex 导出

我可以用agda 输入法在 emacs 中在我的漂亮的 beamer 演示文稿中毫不费力地输入数以万亿的 unicode 字符。

现在我想用 latex 处理它,显然我必须手动从 utf8 包中映射每个缺失的 unicode

\documentclass{article}

\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{newunicodechar}

% missing Welsh coverage
\newunicodechar{Ŵ}{\^W}
\newunicodechar{ŵ}{\^w}
\newunicodechar{Ŷ}{\^Y}
\newunicodechar{ŷ}{\^y}
....

有什么方法可以避免手动执行此操作?

为什么所有的浏览器或编辑器都原生支持 Σ ⇛ ⇒ 和 Latex 之类的东西呢?一个系统不会输入数学运算?我是不是漏掉了什么?

相关内容