LanguageTool Community

<< return to list of rules

Rule "there exits (there exists)"

This is one of many errors that LanguageTool can detect.

Description: there exits (there exists)
Message: Did you mean <suggestion>exists</suggestion>?
Category: Possible Typo (ID: TYPOS)
Incorrect sentences
that this rule can detect:
  • There exits an α-evaluating homomorphism π.
    Correction suggestion: exists
Correct sentences
for comparison:
  • Then there exists an α-evaluating homomorphism π.
ID: THERE_EXITS [1]
Version: 6.6-SNAPSHOT (2024-11-11 22:33:10 +0100)