diff --git a/source/text/smath/01/03091600.xhp b/source/text/smath/01/03091600.xhp index 1d2bd1990e..57f2852bcd 100644 --- a/source/text/smath/01/03091600.xhp +++ b/source/text/smath/01/03091600.xhp @@ -120,7 +120,7 @@ There exists -Inserts the symbol for an Existence quantor. Command for the Commands window: exists +Inserts the symbol for an existential quantifier. Command for the Commands window: exists @@ -133,7 +133,7 @@ There does not exist -Inserts the symbol for an Existence quantor. Command for the Commands window: notexists +Inserts the symbol for an existential quantifier. Command for the Commands window: notexists