完整加法器输出的花括号符号

Question

我的助教说，使用完整加法器表示加法输出的一种常见方法是：

{Cout，Out} = A + B +随身携带

他说，这等同于写作：

Out = a xor b xor进位

Cout = A.B +随身携带。 （A xor B）

此符号的名称是什么？我想在网上查找更多内容，但找不到任何内容。