带有语义包的错误的数学字符

Question

semantic使用该包时我收到以下错误消息：

   ! Bad mathchar (32768).
<to be read again> 
                   \relax 
l.13 \begin{document}

semantic如果我只用选项加载包，问题就会消失inference。但是，我确实需要数学连字符（\mathlig命令）。

另外，如果我不加载包，问题就会消失mathtools。这是一个最小的工作示例：

\documentclass{article}

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

\usepackage{semantic}

% \usepackage{mathtools}     % Uncommenting this causes the problem.

\mathlig{->}{\rightarrow}
\mathlig{|->}{\mapsto}

\begin{document}

Here is a formula: $a -> b |-> c$.

\end{document}

Answer 1

软件包semantic文档没有明确说明amsmath应在它之前加载什么。

由于mathtools负载amsmath，同样适用。

\documentclass{article}

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

\usepackage{mathtools} % must go before semantic
\usepackage{semantic}

\mathlig{->}{\rightarrow}
\mathlig{|->}{\mapsto}

\begin{document}

Here is a formula: $a -> b |-> c$.

\end{document}

我不太清楚->一遍\rightarrow又|->一遍的优势\mapsto。

Answer 2

尝试这个修复：

添加代码：

\usepackage{mathpazo}
\usepackage[mathpazo]{flexisym}

PS：找到解决办法这里