ag-gipp/GoUldI

<math xmlns="http://www.w3.org/1998/Math/MathML"><mi>z</mi><mo>*</mo><mi>x</mi><mo>≤</mo><mi>y</mi></math>