ZX-calculus is a rigorous graphical language that has applications in quantum circuits.