Interaction nets

symbol	meaning	first
symbol	meaning	first
$\mathrm{ar}(\alpha )$	number of ordered auxiliary ports of agent $\alpha$	chapter 41
$\alpha \bowtie \beta$	active pair joined at principal ports; not a connective	chapter 41
$N{⟶}_{I}M$, $N{⟶}_I^{\ast }M$	one local interaction-net reduction and its finite closure	chapter 41
$N\cong M$	interface-fixing port-graph isomorphism	chapter 41
residual of $r$	unique surviving copy of redex $r$ after a disjoint development	chapter 41
$\mathcal{T}(t)$	named syntactic translation of an exactly-once lambda term	chapter 41
${\mathcal{T}}_{\mathrm{res}}(t)$	finite constructor/resource-manager translation	chapter 41
${\mathrm{\Phi }}_I(N)$	Lafont translation of an $I$-net to interaction combinators	chapter 41
$U{⟶}_{\mathrm{IC}}{U}^{\prime }$, $U{⟶}_{\mathrm{IC}}^{\ast }{U}^{\prime }$	one interaction-combinator step and its finite closure	chapter 41
	INMPP term exposing principal port $p$	chapter 41
$⟨\overrightarrow{t}\mid \mathrm{\Delta }⟩$	INMPP interface and equation-multiset configuration	chapter 41
${\sigma }^s$, $\diamond$	polarized port type and equation judgment	chapter 41
$c{⟶}_{\mathrm{INMPP}}{c}^{\prime }$, $c{⟶}_{\mathrm{INMPP}}^{\ast }{c}^{\prime }$	one INMPP configuration step and its finite closure	chapter 41
$\theta (c)$, ${\mathsf{Samb}}_m$, $\mathsf{Cl}$	INMPP-to-INAMB translation, selector, and clearing agent	chapter 41
$t[u/x]$	postfix capture-avoiding substitution	chapter 41
$\bar{n}$	unary chain of $n$ successors ending in $Z$	chapter 41
$E,D$	constructor-tree eraser and binary duplicator agents	chapter 41
$\mathrm{rb}(U)$	external readback of a normal unary constructor tree	chapter 41
$\gamma ,\delta ,\epsilon$	Lafont’s two binary combinators and nullary eraser	chapter 41

Double brackets are not interaction-net notation; they remain reserved for semantic interpretations.