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.

Reply via email to