gibt einen genauen Namen für die Notation die unter dem Konjunktion- und Disjunktionzeichen verwendet werden?
1≤z≤41≤r≤3⋁Xv,r,z∧r=r′ oder z=z′1≤r,r′≤3⋀
/Konjuktion1≤v,v′,v′′≤61≤z,z′,z′′≤4z=z′;z′=z′′z=z′′
Ich weiß z.B. nicht was das Komma und das Semicolon dort bedeutet
1≤v,v′,v′′≤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?