superscripts with stmaryrd

Question

symbols that I want to have displayed as superscripts end up displayed right next to a formula when I use stmaryrd package.

Here's the code I used:

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

why do superscripts fail to work as usual in stmaryrd package and is there a way around this?

Answer 1

If ^ does not work for some reason as token for superscript (maybe because of a different category code), then, the command \sp provides an alternative (the command name for subscript is \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}