case exprs!

2023-12-06 16:41:38 -07:00
parent 07c3064a72
commit f6d87cfb6b
2 changed files with 15 additions and 3 deletions
--- a/doc/src/references/gm-state-transitions.rst
+++ b/doc/src/references/gm-state-transitions.rst
@@ -406,7 +406,7 @@ Core Transition Rules

   .. math::
      \gmrule
-      { \mathtt{CaseJump} \begin{bmatrix} t \to c \end{bmatrix} : i
+      { \mathtt{CaseJump} \begin{bmatrix} t : c \end{bmatrix} : i
      & a : s
      & d
      & h