From d5de0b43d57142eca8fab90fca1ca119cffb6039 Mon Sep 17 00:00:00 2001 From: Adolfo Jayme Barrientos Date: Thu, 7 Apr 2022 05:39:18 -0500 Subject: Remove a Germanism Change-Id: I92f009369c2081c5085e07651948c0085aecfeef --- source/text/smath/01/03091600.xhp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- cgit