copy-discard arrow notation

Last updated Apr 14, 2025

Tags: copy-discard category, arrow notation.