Closed basvdheuvel closed 6 years ago
I'd like to use double brackets (\llbracket \rrbracket), which are in stmaryrd, currently not supported. Please add support. Thanks!
\llbracket \rrbracket
I've added the package. You can use it now.
I'd like to use double brackets (
\llbracket \rrbracket
), which are in stmaryrd, currently not supported. Please add support. Thanks!