Translate the following statement into symbolic notation. Let S=Shakespeare is the greatest writer of all time, and P=Plato is the greatest writer of all time.
"Plato is the greatest writer of all time only if Shakespeare is not the greatest writer of all time."