I'm looking for a specific symbol for typesetting my lecture notes in logic and set theory.
The character is used to define a new set from two existing sets alpha and beta (which are ordinals):
In the above image, the
\bot character is not what I want: instead of one vertical line I would like two parallel ones. Detexify found
\amalg (upside down product signs), which are close, but ideally the symbol that I'm looking for should be sans-serif.
In other words, I would like a symbol that is to
\vDash is to
\vdash. Unfortunately, I do not know the name of the operation that this symbol is representing, so meaning-based googling is ruled out.
Could anybody possibly help me out? I greatly appreciate your answers.