On Thursday, 28 October 2021 at 07:05:47 UTC, Dom DiSc wrote: > I would strongly prefer ∨ for or, ∧ for and (and ⊻ for > exclusive or btw) and I think ~ for cat is a good choice (and > far better than +), but I would prefer ∘. "v" was available, but I don't think they got unicode alternatives.