| circuit in a tape | [ c ] |
| composition | ; |
| ⊕-tensor | + |
| ⊗-tensor (whiskered) | * |
| identity | id(U), id0 |
| symmetry | swap(U,V) |
| diagonal | copy(U) |
| bang | disc(U) |
| codiagonal | cocopy(U) |
| cobang | codisc(U) |
| traceU | tr(U){t} |
| Kleene star | star(t) |
| algebraic symbol | p(U) |
| composition | ; |
| ⊗-tensor | * |
| identity | id(A), id1 |
| symmetry | swap(A,B) |
| copier | copy(A) |
| discharger | disc(A) |
| cocopier | cocopy(A) |
| codischarger | codisc(A) |
| dagger | c' |