Remove a Germanism

Change-Id: I92f009369c2081c5085e07651948c0085aecfeef
This commit is contained in:
Adolfo Jayme Barrientos
2022-04-07 05:39:18 -05:00
parent 9839c0b071
commit d5de0b43d5

View File

@ -120,7 +120,7 @@
</tablecell>
<tablecell>
<paragraph role="paragraph" id="par_id3154398" xml-lang="en-US"><emph>There exists</emph></paragraph>
<paragraph role="paragraph" id="par_id3156346" xml-lang="en-US"><ahelp hid="HID_SMA_EXISTS">Inserts the symbol for an Existence quantor.</ahelp> Command for the <emph>Commands</emph> window: <emph>exists</emph>
<paragraph role="paragraph" id="par_id3156346" xml-lang="en-US"><ahelp hid="HID_SMA_EXISTS">Inserts the symbol for an existential quantifier.</ahelp> Command for the <emph>Commands</emph> window: <emph>exists</emph>
</paragraph>
</tablecell>
</tablerow>
@ -133,7 +133,7 @@
</tablecell>
<tablecell>
<paragraph role="paragraph" id="par_idA3154398" xml-lang="en-US"><emph>There does not exist</emph></paragraph>
<paragraph role="paragraph" id="par_idA3156346" xml-lang="en-US"><ahelp hid="HID_SMA_NOTEXISTS">Inserts the symbol for an Existence quantor.</ahelp> Command for the <emph>Commands</emph> window: <emph>notexists</emph>
<paragraph role="paragraph" id="par_idA3156346" xml-lang="en-US"><ahelp hid="HID_SMA_NOTEXISTS">Inserts the symbol for an existential quantifier.</ahelp> Command for the <emph>Commands</emph> window: <emph>notexists</emph>
</paragraph>
</tablecell>
</tablerow>