Comment by 909832

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