∀isual∃

Syntax

term	type	command
empty	0 → 0	empty
identity	1 → 1	id
copier	1 → 2	copy
discharger	1 → 0	disc
cocopier	2 → 1	cocopy
codischarger	0 → 1	codisc
symmetry	2 → 2	swap

operation	command
composition	;
tensor	*
negation	~
dagger	'

Signature

+ add symbol

TikZ export