Ký hiệu chỉ số trên so với chỉ số dưới trong công thức mật mã

Tôi hiện đang đọc bài báo này [PDF]. Ở trang 4, tôi tình cờ gặp những ký hiệu sau:

\begin{phương trình} \text { Experiment } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k) \text { : } \end{phương trình}

\begin{phương trình} A_{1}^{\mathrm{KDer}\left(s k_{i}\right)}(p k) \end{phương trình}

Tôi đã thử tìm kiếm trực tuyến và giải quyết hầu hết các ký hiệu khác có liên quan, như $ \stackrel{\$}{\leftarrow}$, nhưng không ai cung cấp liên kết đến nguồn để giải quyết các vấn đề tương tự. Tôi không thể giải quyết bất kỳ trong số này. Đây là định nghĩa mà các ký hiệu này thuộc về. Để biết thêm thông tin, bạn có thể tham khảo bài báo.

\begin{array}{l} \text { Experiment } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k): \ b \stackrel{\$}{\leftarrow}\{0,1\} \ (p k, s k) \$ \operatorname{Setup}\left(1^{k}\right) \ \left(m_{0}, m_{1}, s t\right) \stackrel{\$}{\leftarrow} A_{1}^{\mathrm{KDer}(s k, \cdot)}(p k) \ c \leftarrow{E n c}\left(p k, m_{b}\right) \ b^{\prime} \stackrel{\$}{\leftarrow} A_{2}^{\mathcal{O}(s k, \cdot)}(p k, c, s t) \ \text { If } b=b^{\prime} \text { return } 1 \text { other return } 0 \end{mảng}