Operation Manual

Operation Markup language
Example
formula
Elements
Dock
Succeeds
<?> succ <?>
A≻B
Precedes or equal to
<?> preccurlyeq <?>
A≼B
Succeeds or equal to
<?> succcurlyeq <?>
A≽B
Precedes or equivalent to
<?> precsim <?>
A≾B
Succeeds or equivalent to
<?> succsim <?>
A≿B
Not precedes
<?> nprec <?>
A⊀B
Not succeeds
<?> nsucc <?>
A⊁B
Definition
<?> def <?>
A≝B
Corresponding symbol image
of
<?> transl <?>
A⊷B
Corresponding symbol
original of
<?> transr <?>
A⊶B
Set operation commands
To access the icons used for entering markup language for set operation commands into the
Formula Editor, select Set Operations from the drop-down list at the top of the Elements Dock.
Operation Markup language
Example
formula
Elements
Dock
Is in
<?> in <?>
A ∈B
Is not in
<?> notin <?>
A ∉B
Owns
<?> owns <?> or <?> ni <?>
A∋B
Intersection
<?> intersection <?>
A∩B
Union
<?> union <?>
A∪B
Difference
<?> setminus <?> or
<?> bslash <?>
A ∖B
70 | Math Guide Version 4.4