带 stmaryrd 的上标

Question

stmaryrd当我使用包时，我希望显示为上标的符号最终会显示在公式的旁边。

这是我使用的代码：

$\llbracket \lozenge \phi \rrbracket^{w,c,i}$

为什么上标在包中不能像往常一样工作stmaryrd，有什么办法可以解决这个问题？

Answer 1

如果^由于某种原因不能作为上标的标记（可能是因为类别代码不同），那么该命令\sp提供了一种替代方案（下标的命令名称是\sb）：

\documentclass{article}
\usepackage{amssymb}
\usepackage{stmaryrd}
\begin{document}
$\llbracket \lozenge \phi \rrbracket^{w,c,i}$

$\llbracket \lozenge \phi \rrbracket\sp{w,c,i}$
\end{document}