The RuleAssistant command launches a graphical user interface for changing and querying the current Typesetting rules. These are the rules that control the input of 2-D math and the extended mode typesetting of 2-D math within the standard GUI.

To launch the Typesetting Rule Assistant:

From the View menu, select Typesetting Rules.

After applying rules, click Done. The typesetting rules apply only to the current Maple session. Typesetting rules are not retained after issuing a restart.

The commands in the Rules drop-down list control the use of the typesetting, parsing, and completion rules of 2-D Math expressions in Maple.

Parse - When the check box is selected, Maple uses the specified parse rules for 2-D Math input.

Example: The rule BesselJ allows Maple to parse the function  with a symbolic subscript (say ) as a function of a single variable (say ) as the BesselJ function ().

Typeset - When the check box is selected, output is rendered using the specified rule.

Example: The rule BesselJ allows Maple to typeset the function  as a function  with subscript  as a function of .

Completion - When the check box is selected, command completion is enabled for the specified rule.

Example: If the rule BesselJ is enabled for completion, you can enter BesselJ or J within the worksheet, and then press the command completion shortcut keys.

Ctrl+Space, Windows

Command+Shift+Space, Macintosh

Ctrl+Shift+Space, most UNIX platforms

Ctrl+Shift+Space, Linux

One of the presented options is formatted as a BesselJ function (specifically a function  with a symbolic subscript  as a function of a variable , where the  and  are entry points).

Suppresses the display of dependencies for a specified function, and allows entry of that function as simply the function name. Dependency suppression interacts with Differentiation Options.

Declaring another function of the same name with different dependencies replaces (removes) the previous declaration. For example, you cannot suppress the dependencies of f(t) and f(x,y) at the same time. The new function overrides the prior.

The function name must be of type 'symbol' and the dependencies must be of type 'name'.  A warning is issued if an invalid name is entered.

To suppress the dependencies of a specified function:

In the Add Function field, specify the function.

Click Add Function. The specified function appears in the drop-down field beside the Remove button.

To remove the dependency, select the function from the drop-down list and click Remove.

The Display suppressed functions in italics option is provided to allow the display of suppressed functions to be identical to the display of identifiers.

By default, suppressed functions are displayed in upright font, to provide a hint that, for example, the displayed 'f' is actually a function, and not just the name 'f'.

Prime Derivatives - Indicates the use of prime notation for derivatives of univariate functions in the prime Variable.

Variable (prime) - Specifies the variable to which the prime derivative corresponds.

Limit - Specifies the limit after which differentiations of a univariate function of the prime variable are displayed as a bracketed number superscript instead of prime notation.

Dot Derivatives - Specifies use of dot notation for derivatives of univariate functions in the dot Variable.

Variable (dot) - Variable for which the dot notation is used.

Subscript Derivatives - Use a subscripted sequence of variable names for partial derivatives of functions with suppressed dependencies.

Note: Leaving the Variable field blank is also valid. Setting Variable to <blank> results in the use of D notation throughout. For example,

Use &+- for - This specifies whether the +/- symbol is to be used as a unary operator to give two options in an equation, or as a binary operator for use with the Tolerances package. For more information on this, see the 2DMathDetails help page.

Enable use of identifier 'd' when parsing derivatives - This is a convenience option. By default, constructing derivatives using differential d notation requires use of either the DifferentialD operator or the 'd' operator. For example, in the document enter the following.

d + command completion keys, and select d(differential).

If this option is set to Always, the parser examines rational expressions more closely, and for those containing the variable 'd', interprets the variable as the operator 'd' when appropriate.

For example, entering:

will then be interpreted as a derivative, when the 'd' is the variable 'd'.

The query option displays a dialog when the identifier 'd' is used in cases that may be interpreted as derivatives.

Allow shortcut function definition - The notation f(x) := <value> means to assign <value> to the remember table of the function 'f' for arguments 'x'. In 2-D Math, this can now also be used in place of the standard arrow procedure notation.

For example f(x) := x^2 can be interpreted as the function definition f : = x->x^2.

Note that for the input expression to allow this interpretation 'f' must be a name, and 'x' must be a name or sequence of names. By default, a dialog is displayed for cases where the meaning is not clear. Changing to Never or Always will fix the interpretation to be "remember table assignment" or "function definition" respectively.

Parse redundant brackets in superscripts as derivatives. For details, see the parsebrackets help page.

Automatically parse small scripted objects (that do not otherwise parse) as atomic identifiers - For a discussion on atomic identifiers, see 2DMathDetails.

Parse <number>(<args>) with no space as a function - This specifies whether numbers can be treated as operators (e.g. 2(x) parses and evaluates to 2) or not (e.g. 2(x) parses and evaluates to 2*x).

Strip trailing zeros from floats - This specifies that expressions containing floats be displayed with trailing zeros stripped. For example,  normally displays as , but when this option is enabled it displays as .

Use global information for typesetting derivatives - This specifies that the entire expression should be examined when typesetting derivatives. Normally, derivatives are examined individually to determine if partial or total derivative symbols should be used in the typeset output.

In summary, certain notations, for example, x with a superscript of {@}, or x with a ^ over it have no mathematical meaning. These are interpreted as atomic identifiers that are different for 'x'. This extends the Maple namespace to include decorated objects. When set to false, this is never done automatically, instead requiring use of the context menus to bind an atomic identifier. When set to true, names with simple scripts that have no parseable meaning are automatically assumed to be atomic identifiers.

Allows alternative extended typesetting for various operators. For example, Logical Not can display not using the symbol for not instead of the word not.

In the Operators Display group box, click the drop-down list to view the complete set of full name options.

Use for Typeset - Select the symbol or word for the operator.

If an expression is structurally correct, but has two or more interpretations, then the Clarify Expression dialog opens. You must select a meaning for the expression. For example, in the above figure, (H_v(x)) must be clarified.

For other errors, Maple displays an error message and visually identifies the area in question. For example in the above figure, the + in the sum example and the invalid scripts for integral example.