G : I \to J

a bigraph from inner face I to outer face J

Bg S I J

from source

H \circ G

composition

Bg.comp, printed H ◦ G

from source

G \otimes H

tensor, for faces with disjoint names

Bg.tensor, Bg.tensor', printed G ⊗ H

from source

I \otimes J

tensor of interfaces

Iface.tensor, printed I ⊗ᵢ J

from source

\mathrm{id}_I

identity

Bg.id', printed 𝟙 I

from source

\gamma_{I,J}

symmetry

Bg.symmetry, printed γ I J

from source

G \parallel H, G \mid H, G \cdot H

parallel product, merge product, nesting

par', mergeProd', nest', printed G ∥ H, G ∣ H, G ⋅ H

from source

1, \varepsilon

the barren root, the origin

Bg.merge _ 0 printed 𝟏; Iface.origin printed ε

from source, unbridged

G \bumpeq H

support equivalence: equal up to a renaming of nodes and edges

Bg.SupportEquiv, printed G ≏ H

bridged, unbridged

G \Bumpeq H

lean-support equivalence: support equivalence after discarding idle edges

Bg.LeanSupportEquiv, printed G ≎ H

bridged

[G]

the abstract bigraph of G

Abstract.mk, printed ⟪G⟫

bridged