Help files for new math symbols of game theory

2 files changed, 258 insertions, 0 deletions

diff --git a/helpcontent2/source/text/smath/01/03090200.xhp b/helpcontent2/source/text/smath/01/03090200.xhp
index f06432dd94..83c170d8cb 100644
--- a/helpcontent2/source/text/smath/01/03090200.xhp
+++ b/helpcontent2/source/text/smath/01/03090200.xhp
@@ -73,6 +73,14 @@
 <bookmark_value>image of relation</bookmark_value>
 <bookmark_value>correspondence; original by</bookmark_value>
 <bookmark_value>original by correspondence</bookmark_value>
+<bookmark_value>precedes relation</bookmark_value>
+<bookmark_value>not precedes relation</bookmark_value>
+<bookmark_value>succeeds relation</bookmark_value>
+<bookmark_value>not succeeds relation</bookmark_value>
+<bookmark_value>precedes or equal relation</bookmark_value>
+<bookmark_value>succeeds or equal relation</bookmark_value>
+<bookmark_value>precedes or equivalent relation</bookmark_value>
+<bookmark_value>succeeds or equivalent relation</bookmark_value>
 </bookmark>
 <bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_RELATIONS_TBX" id="bm_id3145204" localize="false"/>
 <bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_RELATIONS_CAT" id="bm_id3145207" localize="false"/>
@@ -399,6 +407,127 @@
 </tablerow>
 </table>
 
+<table id="tbl_id3155360">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10564" xml-lang="en-US" l10n="F">
+<image id="img_id3148698" src="starmath/res/bi21327.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148698" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_PRECEDES" id="bm_id3150844" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150854" xml-lang="en-US" l10n="U" oldref="90">precedes</paragraph>
+<paragraph role="paragraph" id="par_id3150867" xml-lang="en-US" l10n="U" oldref="89"><ahelp hid="HID_SMA_PRECEDES">Inserts the logical operator <emph>precedes</emph> with two placeholders.</ahelp> You can also type <emph>prec</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155361">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10565" xml-lang="en-US" l10n="F">
+<image id="img_id3148699" src="starmath/res/bi21329.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148699" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_SUCCEEDS" id="bm_id3150845" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150855" xml-lang="en-US" l10n="U" oldref="92">succeeds</paragraph>
+<paragraph role="paragraph" id="par_id3150868" xml-lang="en-US" l10n="U" oldref="91"><ahelp hid="HID_SMA_SUCCEEDS">Inserts the logical operator <emph>succeeds</emph> with two placeholders.</ahelp> You can also type <emph>succ</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155362">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10566" xml-lang="en-US" l10n="F">
+<image id="img_id3148700" src="starmath/res/bi21328.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148700" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_NOTPRECEDES" id="bm_id3150846" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150856" xml-lang="en-US" l10n="U" oldref="94">not precedes</paragraph>
+<paragraph role="paragraph" id="par_id3150869" xml-lang="en-US" l10n="U" oldref="93"><ahelp hid="HID_SMA_NOTPRECEDES">Inserts the logical operator <emph>not precedes</emph> with two placeholders.</ahelp> You can also type <emph>nprec</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155363">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10567" xml-lang="en-US" l10n="F">
+<image id="img_id3148701" src="starmath/res/bi21330.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148701" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_NOTSUCCEEDS" id="bm_id3150847" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150857" xml-lang="en-US" l10n="U" oldref="96">not succeeds</paragraph>
+<paragraph role="paragraph" id="par_id3150870" xml-lang="en-US" l10n="U" oldref="95"><ahelp hid="HID_SMA_NOTSUCCEEDS">Inserts the logical operator <emph>not succeeds</emph> with two placeholders.</ahelp> You can also type <emph>nsucc</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155364">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10568" xml-lang="en-US" l10n="F">
+<image id="img_id3148702" src="starmath/res/bi21331.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148702" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_PRECEDESEQUAL" id="bm_id3150848" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150858" xml-lang="en-US" l10n="U" oldref="98">precedes or equal</paragraph>
+<paragraph role="paragraph" id="par_id3150871" xml-lang="en-US" l10n="U" oldref="97"><ahelp hid="HID_SMA_PRECEDESEQUAL">Inserts the logical operator <emph>precedes or equal</emph> with two placeholders.</ahelp> You can also type <emph>preccurlyeq</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155365">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10569" xml-lang="en-US" l10n="F">
+<image id="img_id3148703" src="starmath/res/bi21332.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148703" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_SUCCEEDSEQUAL" id="bm_id3150849" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150859" xml-lang="en-US" l10n="U" oldref="100">succeeds or equal</paragraph>
+<paragraph role="paragraph" id="par_id3150872" xml-lang="en-US" l10n="U" oldref="99"><ahelp hid="HID_SMA_SUCCEEDSEQUAL">Inserts the logical operator <emph>succeeds or equal</emph> with two placeholders.</ahelp> You can also type <emph>succcurlyeq</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155366">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10570" xml-lang="en-US" l10n="F">
+<image id="img_id3148704" src="starmath/res/bi21333.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148704" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_PRECEDESEQUIV" id="bm_id3150850" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150860" xml-lang="en-US" l10n="U" oldref="102">precedes or equivalent</paragraph>
+<paragraph role="paragraph" id="par_id3150873" xml-lang="en-US" l10n="U" oldref="101"><ahelp hid="HID_SMA_PRECEDESEQUIV">Inserts the logical operator <emph>precedes or equivalent</emph> with two placeholders.</ahelp> You can also type <emph>precsim</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+<table id="tbl_id3155367">
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="paragraph" id="par_idN10571" xml-lang="en-US" l10n="F">
+<image id="img_id3148705" src="starmath/res/bi21334.png" width="0.847cm" height="0.847cm"><alt id="alt_id3148705" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+<bookmark xml-lang="en-US" branch="hid/STARMATH_HID_SMA_SUCCEEDSEQUIV" id="bm_id3150851" localize="false"/>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablehead" id="par_id3150861" xml-lang="en-US" l10n="U" oldref="104">succeeds or equivalent</paragraph>
+<paragraph role="paragraph" id="par_id3150874" xml-lang="en-US" l10n="U" oldref="103"><ahelp hid="HID_SMA_SUCCEEDSEQUIV">Inserts the logical operator <emph>succeeds or equivalent</emph> with two placeholders.</ahelp> You can also type <emph>succsim</emph> in the <emph>Commands</emph> window.</paragraph>
+</tablecell>
+</tablerow>
+</table>
+
+
 <paragraph role="paragraph" id="par_id3153545" xml-lang="en-US" l10n="U" oldref="74">To create the <emph>much greater than</emph> relation with two placeholders, type <emph>&lt;?&gt; gg &lt;?&gt; </emph>or <emph>&gt;&gt;</emph> in the <emph>Commands</emph> window.</paragraph>
 <paragraph role="paragraph" id="par_id3156000" xml-lang="en-US" l10n="U" oldref="75">Type <emph>ll</emph> or <emph>&lt;&lt;</emph> in the <emph>Commands</emph> window to insert the <emph>much less than</emph> relation into the formula.</paragraph>
 <paragraph role="paragraph" id="par_id3153749" xml-lang="en-US" l10n="U" oldref="76">The <emph>is defined as</emph> relation with two placeholders is inserted by typing <emph>&lt;?&gt;def&lt;?&gt;</emph>.</paragraph>
diff --git a/helpcontent2/source/text/smath/01/03091502.xhp b/helpcontent2/source/text/smath/01/03091502.xhp
index 1a99d9e19a..9087cabbfa 100644
--- a/helpcontent2/source/text/smath/01/03091502.xhp
+++ b/helpcontent2/source/text/smath/01/03091502.xhp
@@ -404,6 +404,135 @@
 <paragraph role="tablecontent" id="par_id3155844" xml-lang="en-US" l10n="U" oldref="134">Toward</paragraph>
 </tablecell>
 </tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11125" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">prec</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153958" xml-lang="en-US" l10n="E">
+<image id="img_id3153963" src="starmath/res/bi21327.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153963" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155845" xml-lang="en-US" l10n="U" oldref="135">Precedes</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11126" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">nprec</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153959" xml-lang="en-US" l10n="E">
+<image id="img_id3153964" src="starmath/res/bi21328.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153964" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155846" xml-lang="en-US" l10n="U" oldref="136">Not precedes</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11127" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">succ</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153960" xml-lang="en-US" l10n="E">
+<image id="img_id3153965" src="starmath/res/bi21329.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153965" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155847" xml-lang="en-US" l10n="U" oldref="137">Succeeds</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11128" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">nsucc</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153961" xml-lang="en-US" l10n="E">
+<image id="img_id3153966" src="starmath/res/bi21330.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153966" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155848" xml-lang="en-US" l10n="U" oldref="138">Not succeeds</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11129" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">preccurlyeq</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153962" xml-lang="en-US" l10n="E">
+<image id="img_id3153967" src="starmath/res/bi21331.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153967" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155849" xml-lang="en-US" l10n="U" oldref="139">Precedes or equal to</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11130" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">succcurlyeq</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153963" xml-lang="en-US" l10n="E">
+<image id="img_id3153968" src="starmath/res/bi21332.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153968" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155850" xml-lang="en-US" l10n="U" oldref="140">Succeeds or equal to</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11131" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">precsim</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153964" xml-lang="en-US" l10n="E">
+<image id="img_id3153969" src="starmath/res/bi21333.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153969" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155851" xml-lang="en-US" l10n="U" oldref="141">Precedes or equivalent to</paragraph>
+</tablecell>
+</tablerow>
+
+<tablerow>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_idN11132" xml-lang="en-US" l10n="NEW" localize="false">
+<item type="literal">succsim</item>
+</paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3153965" xml-lang="en-US" l10n="E">
+<image id="img_id3153970" src="starmath/res/bi21334.png" width="0.3335inch" height="0.3335inch"><alt id="alt_id3153970" xml-lang="en-US">Icon</alt>
+	</image></paragraph>
+</tablecell>
+<tablecell colspan="" rowspan="">
+<paragraph role="tablecontent" id="par_id3155852" xml-lang="en-US" l10n="U" oldref="142">Succeeds or equivalent to</paragraph>
+</tablecell>
+</tablerow>
+
 <tablerow>
 <tablecell colspan="" rowspan="">
 <paragraph role="tablecontent" id="par_id4814489" xml-lang="en-US" l10n="NEW" localize="false">