  This short note proposes a symbolic approach for representing and reasoning
about quantum circuits using complex, vector or matrix-valued Boolean
expressions. A major benefit of this approach is that it allows us to directly
borrow the existing techniques and tools for verification of classical logic
circuits in reasoning about quantum circuits.
