สัญลักษณ์ตัวยกเทียบกับตัวห้อยในการกำหนดการเข้ารหัส

ฉันกำลังอ่านอยู่ บทความนี้ [PDF]. ในหน้า 4 ฉันพบสัญลักษณ์เหล่านี้:

\begin{สมการ} \text { การทดลอง } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k) \text { : } \end{สมการ}

\begin{สมการ} A_{1}^{\mathrm{KDer}\left(s k_{i}\right)}(p k) \end{สมการ}

ฉันพยายามค้นหาทางออนไลน์และแก้ไขสัญลักษณ์อื่นๆ ที่เกี่ยวข้องเกือบทั้งหมด เช่น $ \stackrel{\$}{\leftarrow}$แต่ไม่มีใครให้ลิงก์ไปยังแหล่งที่มาเพื่อแก้ไขปัญหาที่คล้ายกัน ฉันไม่สามารถแก้ไขสิ่งเหล่านี้ได้ นี่คือคำจำกัดความที่เป็นของสัญกรณ์เหล่านี้ สำหรับข้อมูลเพิ่มเติม คุณสามารถดูได้จากเอกสารนี้

\begin{array}{l} \text { การทดลอง } \operatorname{Exp}_{\mathcal{F} \mathcal{E}, A}^{\text {ind-mode }}(k): \ ข \stackrel{\$}{\leftarrow}\{0,1\} \ (p k, sk) \$ \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 { ถ้า } b=b^{\prime} \text { กลับ } 1 \text { อื่น กลับ } 0 \end{อาร์เรย์}