A camera lens that magnifies the image