 Typesetting - Maple Programming Help

Home : Support : Online Help : Configure Maple : Customize the Maple System : 2-D Mathematics Display : Typesetting Package : Typesetting/UseSymbolForTypeset

Typesetting

 UseSymbolForTypeset
 control use of operator symbols in typesetting

 Calling Sequence UseSymbolForTypeset(arg1, arg2, ...)

Parameters

 argN - either of the form name = true/false or simply name representing a rule name

Description

 • 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.

 Rule ID Standard Symbol (MathML) Default ------- -------- -------------- ------ "Assignment" := "≔" true "Type" :: "∷" true "Plus/Minus" &+- "±" TRUE "Minus/Plus" &-+ "∓" TRUE "Inline Procedure" -> "↦" true "Concatenation" || "‖" true "Range" .. "…" false "Function Composition" @ "∘" false "Less Equal" <= "≤" true "Greater Equal" >= "≥" true "Not Equal" <> "≠" true "Logical Not" not "¬" false "Logical Not And" nand "↑" false "Logical And" and "∧" false "Logical Not Or" nor "↓" false "Logical Or" or "∨" false "Logical Exclusive Or" xor "⊻" false "Logical Implies" implies "⇒" true "Logical Iff" iff "⇔" false "Set Intersect" intersect "∩" true "Set Union" union "∪" true "Set Minus" minus "\" true "Set In" in "∈" true "Subset" subset "⊆" true "Angle Braces" <,> "⟨","⟩" true

 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.

Examples

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

Query typeset symbol usage for logic operations

 > $\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}}$ (1)

Change typeset symbol usage for logic operations and re-query

 > $\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}}$ (2)
 > $\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}}$ (3)
 > $\mathrm{Typeset}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{and}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b\right)$
 ${a}{\wedge }{b}$ (4)
 > $\mathrm{UseSymbolForTypeset}\left("Logical And"=\mathrm{false}\right)$
 ${\mathrm{true}}$ (5)
 > $\mathrm{Typeset}\left(a\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}\mathbf{and}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}b\right)$
 ${a}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{\mathbf{and}}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{b}$ (6)
 >