...
To export to any of these formats, first set up your scene, and the go to File - > Save graphics as.
Select filename and export format. If you are exporting an image you will be prompted with a dialog box telling you the pixel size of the image. You can choose to increase the size of the image by adjusting the magnification option. Note that the width of lines will not increase.