From 71e4da92a6ed8abc4ae2555104eaabeb0afa052c Mon Sep 17 00:00:00 2001 From: Olivier Hallot Date: Sat, 19 Nov 2011 21:39:05 -0200 Subject: Help files for new math symbols of game theory --- helpcontent2/source/text/smath/01/03090200.xhp | 129 +++++++++++++++++++++++++ helpcontent2/source/text/smath/01/03091502.xhp | 129 +++++++++++++++++++++++++ 2 files changed, 258 insertions(+) (limited to 'helpcontent2') 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 @@ image of relation correspondence; original by original by correspondence +precedes relation +not precedes relation +succeeds relation +not succeeds relation +precedes or equal relation +succeeds or equal relation +precedes or equivalent relation +succeeds or equivalent relation @@ -399,6 +407,127 @@ + + + + +Icon + + + + +precedes +Inserts the logical operator precedes with two placeholders. You can also type prec in the Commands window. + + +
+ + + + + +Icon + + + + +succeeds +Inserts the logical operator succeeds with two placeholders. You can also type succ in the Commands window. + + +
+ + + + + +Icon + + + + +not precedes +Inserts the logical operator not precedes with two placeholders. You can also type nprec in the Commands window. + + +
+ + + + + +Icon + + + + +not succeeds +Inserts the logical operator not succeeds with two placeholders. You can also type nsucc in the Commands window. + + +
+ + + + + +Icon + + + + +precedes or equal +Inserts the logical operator precedes or equal with two placeholders. You can also type preccurlyeq in the Commands window. + + +
+ + + + + +Icon + + + + +succeeds or equal +Inserts the logical operator succeeds or equal with two placeholders. You can also type succcurlyeq in the Commands window. + + +
+ + + + + +Icon + + + + +precedes or equivalent +Inserts the logical operator precedes or equivalent with two placeholders. You can also type precsim in the Commands window. + + +
+ + + + + +Icon + + + + +succeeds or equivalent +Inserts the logical operator succeeds or equivalent with two placeholders. You can also type succsim in the Commands window. + + +
+ + To create the much greater than relation with two placeholders, type <?> gg <?> or >> in the Commands window. Type ll or << in the Commands window to insert the much less than relation into the formula. The is defined as relation with two placeholders is inserted by typing <?>def<?>. 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 @@ Toward + + + + +prec + + + + +Icon + + + +Precedes + + + + + + +nprec + + + + +Icon + + + +Not precedes + + + + + + +succ + + + + +Icon + + + +Succeeds + + + + + + +nsucc + + + + +Icon + + + +Not succeeds + + + + + + +preccurlyeq + + + + +Icon + + + +Precedes or equal to + + + + + + +succcurlyeq + + + + +Icon + + + +Succeeds or equal to + + + + + + +precsim + + + + +Icon + + + +Precedes or equivalent to + + + + + + +succsim + + + + +Icon + + + +Succeeds or equivalent to + + + -- cgit