Oh, okay, so while Corneli (2003) apparently did not use them as multiset delimiters, they are already found as symbols for multisets here (1994):
https://cs.brown.edu/about/system/managed/latex/doc/stmaryrd.pdf That clears it up.
Oh, okay, so while Corneli (2003) apparently did not use them as multiset delimiters, they are already found as symbols for multisets here (1994):
https://cs.brown.edu/about/system/managed/latex/doc/stmaryrd.pdf That clears it up.