plot {y<=|x|, x^2+y^2=1}