Is there a logical symbol for 'may include'?
Oh that is a good call! That page mentions C.I. Lewis coined a 'possibly', '◇', which seems pretty good to me. It's used as a prefix rather than an infix but it's close enough that, unless something much better presents itself, I am going to use that. Thanks so much, both fishfry and Valentinus, for your time and thoughtful responses.