The UseSymbolForTypeset command allows for query and adjustment of one or more operator display rules in the Typesetting package.

The return value is similar to that of interface, namely the value(s) of the parameter(s) being queried or set. In the case that the parameter(s) are being set, the value before the setting is applied is the one that is returned.

The following table lists all rules, their standard display, their symbol display, and whether they are enabled by default.

Note that the rules with a default of TRUE are enabled by default and cannot be disabled.

As an example, setting the "Logical And" rule to true will cause logic operations containing and to display with the logical and symbol $\^$.

Note that all settings available via this command can be queried/changed via the interactive Typesetting Assistant. Options can be queried or changed in the Operators area of the interactive Typesetting Assistant.

$\mathrm{with}\left(\mathrm{Typesetting}\right)\:$

$\mathrm{UseSymbolForTypeset}\left(''Logical\; Not''\,''Logical\; And''\,''Logical\; Or''\,''Logical\; Exclusive\; Or''\,''Logical\; Implies''\right)$

$\mathrm{false},\mathrm{false},\mathrm{false},\mathrm{false},\mathrm{true}$

$\mathrm{UseSymbolForTypeset}\left(''Logical\; Not''=\mathrm{true}\,''Logical\; And''=\mathrm{true}\,''Logical\; Or''=\mathrm{true}\,''Logical\; Exclusive\; Or''=\mathrm{true}\right)$

$\mathrm{false},\mathrm{false},\mathrm{false},\mathrm{false}$

$\mathrm{UseSymbolForTypeset}\left(''Logical\; Not''\,''Logical\; And''\,''Logical\; Or''\,''Logical\; Exclusive\; Or''\,''Logical\; Implies''\right)$

$\mathrm{true},\mathrm{true},\mathrm{true},\mathrm{true},\mathrm{true}$

$\mathrm{Typeset}\left(a\mathbf{and}b\right)$

$a\wedge b$

$\mathrm{UseSymbolForTypeset}\left(''Logical\; And''=\mathrm{false}\right)$

$\mathrm{true}$

$\mathrm{Typeset}\left(a\mathbf{and}b\right)$

$a\mathbf{and}b$