Symbols:Set Theory/Order Sum

Order Sum

 * $\oplus$

$S_1 \oplus S_2$ denotes the order sum of two ordered sets $S_1$ and $S_2$.