¿Para qué sirve el triple plus?

En Haskell (lenguaje de programación), que permite operadores arbitrarios definidos por el usuario, el operador +++ es miembro de la class ArrowChoice :

 class Arrow a => ArrowChoice a where … (+++) :: abc -> a b' c' -> a (Either b b') (Either c c') … infixr 2 +++ 

Fue introducido en John Hughes, “Generalizando mónadas a flechas”, 2000, donde está escrito matemáticamente como [matemáticas] + \! \! \! \! \! + \! \! \! \! \! + [/ matemáticas]. (Un borrador de 1998 tenía [math] + \! \! \! \! \! + \! \! \! \! \! + [/ Math] y [math] [/ math] operadores intercambiados.)

No sé si es por eso que ⧻ se agregó a Unicode. (En realidad, parece que primero se ha agregado a Shift JIS como 0x829E, y luego a Unicode 3.2 como U + 29FB por compatibilidad. Si alguien que lee japonés puede averiguar en qué versión de Shift JIS apareció por primera vez, eso podría proporcionar una pista útil.) Pero no lo he visto en ningún otro contexto.

• ¿Cuál es el teorema más importante conceptualmente de Real Analysis y por qué es importante?
• ¿Es 7/9 mayor o menor que 2/3?
• ¿Cómo se puede evaluar [matemáticas] 40 ^ 3 - 38 ^ 3 + 36 ^ 3 - 34 ^ 3 + \ cdots + 4 ^ 3 - 2 ^ 3 [/ matemáticas]?
• ¿Cómo pueden las matemáticas demostrar que un mundo paralelo es real?
• Android (sistema operativo): ¿Cuántas combinaciones tiene el desbloqueo de puntos de Android 9?