Oh no! At first I thought this paper was just bing silly/clever with `⟅⟆ : Bag` (it looks like a bag 💰 haha), but then I realised this is actually a thing! Unicode calls them 'bag delimiters'… 😱
Conversation
Could I have a link to the paper please?
1
This was the paper that led to the goose chase for squiggolly bag symbols: S-C. Mu, H-S. Ko, and P. Jansson. "Algebra of programming in Agda: dependent types for relational program derivation" iis.sinica.edu.tw/~scm/2009/alge

