# What does a single vertical bar mean in ConditionalExpression? [closed]

I got the condition below as part of a ConditionalExpression. Those single vertical bars before and after $$\frac{1}{k1}$$ appear to be an absolute value but I don't recall seeing Mathematica ouput it like that. Also, I highlighted the character, pressed F1, and the program said that it could be Alternatives, Or, Nand, etc; but I did not see absolute value among the options. Which one is it?

• it is Alternatives. – kglr Feb 18 at 21:50
• @kglr does that mean that at least one of the three equations needs to be a part of the reals for the expression to be true? – Lucas Alanis Feb 18 at 22:01
• Lucas, Element[a|b|c, dom] means all members of {a,b,c} belong to dom. Also, Element[a|b|c, dom] is equivalent to Element[{a,b,c}, dom]. (see: Element>> Details in the docs) – kglr Feb 18 at 22:28