Suggest a correction

Reporting on There-exists sign. Every submission is reviewed by a person before any change is made — we don't auto-publish corrections.