#704771 geogebra: Impossible to export with an inequality