  Boolean and quantum circuits have commonalities and differences. To formalize
the syntactical commonality we introduce syntactic circuits where the gates are
black boxes. Syntactic circuits support various semantics. One semantics is
provided by Boolean circuits, another by quantum circuits. Quantum semantics is
a generalization of Boolean but, because of entanglement, the generalization is
not straightforward. We consider only unitary quantum circuits here.
