1
$\begingroup$

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?

enter image description here

$\endgroup$
  • 5
    $\begingroup$ it is Alternatives. $\endgroup$ – kglr Feb 18 at 21:50
  • $\begingroup$ @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? $\endgroup$ – Lucas Alanis Feb 18 at 22:01
  • 5
    $\begingroup$ 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) $\endgroup$ – kglr Feb 18 at 22:28