gibt einen genauen Namen für die Notation die unter dem Konjunktion- und Disjunktionzeichen verwendet werden?
$$ \bigvee_{1 \leq r \leq 3 \atop 1 \leq z \leq 4} X_{v, r, z} \wedge \bigwedge_{1 \leq r, r^{\prime} \leq 3 \atop r \neq r^{\prime} \text { oder } z \neq z^{\prime}} $$
$$ \begin{array}{c}{/ Konjuktion} \\ {1 \leq v, v^{\prime}, v^{\prime \prime} \leq 6} \\ {1 \leq z, z^{\prime}, z^{\prime \prime} \leq 4} \\ {z \neq z^{\prime} ; z^{\prime} \neq z^{\prime \prime}} \\ {z \neq z^{\prime \prime}}\end{array} $$
Ich weiß z.B. nicht was das Komma und das Semicolon dort bedeutet
$$ 1 \leq v, v^{\prime}, v^{\prime \prime} \leq 6 $$
vermutlich sowas wie
1 <= v und v<v' und v'<v'' und v'' <= 6
Wo kann ich genau diese Art von Notation nachschlagen oder nach welchem Begriff muss ich suchen?