使用 \lrtimes 时出错

Question

我尝试\lrtimes在数学模式下使用标签映射的符号，但出现错误。以下是我正在做的事情。

\begin{align*}
Sys_1 \stackrel{\text{\tiny def}}{=} (Appl \parallel Appl) \lrtimes  WS
\end{align*}

这\stackrel{\text{\tiny def}}{=}是“定义为”运算符的乳胶代码，它在我的其他公式中运行良好。

日志消息（来自 texmaker）内容如下：

! 未定义的控制序列。 ...}{=} (Appl \parallel Appl) \lrtimes WS l.69 \end{align*} 错误消息顶行末尾的控制序列从未被 \def'ed。

这个案例出了什么问题？

Answer 1

要使用\lrtimes您需要\usepackage{pxfonts}在序言中：

代码：

\documentclass{article}
\usepackage{amsmath}
\usepackage{pxfonts}
\begin{document}
\begin{align*}
Sys_1 \stackrel{\text{\tiny def}}{=} (Appl \parallel Appl) \lrtimes  WS
\end{align*}
\end{document}