<?xml version="1.0" encoding="UTF-8"?>
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block">
<semantics xmlns="">
<mrow>
<mi>z</mi>
<mo>*</mo>
<mi>x</mi>
<mo>≤</mo>
<mi>y</mi>
</mrow>
<annotation encoding="application/x-tex">z*x\le y</annotation>
</semantics>
</math>