The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Non-deterministic guarded choice is an associative-commutative binary operator. My guess is that the character ⫾ U+2AFE is intended to be used as an infix binary operator and the character ⫿ U+2AFF, which is larger and described as “n-ary”, is intended to be used as a prefix operator which is typeset larger, in prefix position, and typically with a subscript ...

Only top voted, non community-wiki answers of a minimum length are eligible