斜线用于主动替换 pi-calculus

Question

我想知道如何排版下面看到的括号内的斜杠，包括周围文本的定位？

说实话，我不知道这是数据包功能还是内置的 latex。我浏览过有关正斜杠的问题，但似乎没有一个考虑过周围文本的位置。

Answer 1

\documentclass{article}

\usepackage{amsmath}

\newcommand\zz[2]{\{^{#1}\mkern-3mu/\mkern-1mu_{#2}\}}

\begin{document}

\[V_B\zz{a}{v} \]

\end{document}

Answer 2

\documentclass{article}
\usepackage{nicefrac}
\begin{document}
\[
S[V_A\{\nicefrac{c}{v}\}^{chc}\mid V_B\{\nicefrac{a}{v}\}]^{\string\out(chc,\cdot)}...
\]
\end{document}