The prop formalism allows representation of processes withstring diagrams and has been successfully applied in various areas such as quantum computing, electric circuits and control flow graphs. However, these graphical approaches suffer from scalability problems when it comes to writing large diagrams. A proposal to tackle this issue has been investigated for ZX-calculus using colored props. This paper extends the approach to any prop, making it a general tool for graphical languages manipulation.

中文翻译：

---

用于大规模图形推理的彩色道具

prop 形式允许用串图来表示过程，并已成功应用于各个领域，如量子计算、电路和控制流图。然而，在编写大型图表时，这些图形方法会遇到可伸缩性问题。已经针对使用彩色道具的 ZX 演算研究了解决此问题的建议。本文将这种方法扩展到任何道具，使其成为图形语言操作的通用工具。