Subversion Repositories wimsdev

<i>x</i><sup>2 </sup>+ <i>a</i> <i>b</i> <i>y</i>
<i>a</i><sup>3 </sup>
2<i>sin</i><sup>2</sup>(<i>x</i> <i>V</i>) +2<i>toto</i><sup>2</sup>(<i>x</i>) + <i>tata</i>
<i>T</i> +
<i>p</i><sup>2</sup>
<i>x</i><sub>2</sub> + <i>x</i>
<i>a</i> <= b