In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22D3 (DOUBLE UNION).
Normalize doublecup to Cup for corpus form.
\doublecup \Cup\doublecupSymbol
The ⋓ symbol (Double union, U+22D3), written as \doublecup in LaTeX math mode.
The ⋓ symbol (Double union, U+22D3), written as \doublecup in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22D3 (DOUBLE UNION).
Normalize doublecup to Cup for corpus form.
\doublecup \Cup