Unofficial Name

Name

Actual Precedence

Precedence[ ]

Precedence[ ] Corrected

WolframLanguageData[ ]

WolframLanguageData[ ] Corrected

UnicodeCharacters.tr

UnicodeCharacters.tr Corrected

Usage

Parse

FullForm

N Tokens

L Tokens

O Tokens

Arity

Affix

Associativity

Meaningful

Comments

AngleBracket

=

AngleBracket

-10

670

760

1

-10

=

-10

{{"〈", "expr", "〉"}}

{"AngleBracket", "[", "expr", ",", "…", "]"}

AngleBracket[expr, \[Ellipsis]]

{"〈"}

{}

{"〉"}

n-ary

Matchfix

Non

False

Association

=

Association

-10

670

760

1

-10

=

-10

{{"<|", "expr", "|>"}, {"", "expr", ""}}

{"Association", "[", "expr", ",", "…", "]"}

Association[expr, \[Ellipsis]]

{"<|", ""}

{}

{"|>", ""}

n-ary

Matchfix

Non

True

BracketingBar

=

BracketingBar

-10

670

760

1

-10

=

-10

{{"", "expr", ""}}

{"BracketingBar", "[", "expr", ",", "…", "]"}

BracketingBar[expr, \[Ellipsis]]

{""}

{}

{""}

n-ary

Matchfix

Non

False

Ceiling

=

Ceiling

-10

670

760

1

-10

=

-10

{{"⌈", "expr", "⌉"}}

{"Ceiling", "[", "expr", "]"}

Ceiling[expr]

{"⌈"}

{}

{"⌉"}

Unary

Matchfix

Non

True

DoubleBracketingBar

=

DoubleBracketingBar

-10

670

760

1

-10

=

-10

{{"", "expr", ""}}

{"DoubleBracketingBar", "[", "expr", ",", "…", "]"}

DoubleBracketingBar[expr, \[Ellipsis]]

{""}

{}

{""}

n-ary

Matchfix

Non

False

Floor

=

Floor

-10

670

760

1

-10

=

-10

{{"⌊", "expr", "⌋"}}

{"Floor", "[", "expr", "]"}

Floor[expr]

{"⌊"}

{}

{"⌋"}

Unary

Matchfix

Non

True

List

=

List

-10

670

760

1

=

1

-10

{{"{", "expr", "}"}}

{"List", "[", "expr", ",", "…", "]"}

List[expr, \[Ellipsis]]

{"{"}

{}

{"}"}

n-ary

Matchfix

Non

True

AutoMatch

=

AutoMatch

-10

670

760

1

-10

=

-10

{{"", "expr", ""}}

{"AutoMatch","[","expr","]"}

AutoMatch[expr]

{""}

{}

{""}

Unary

Matchfix

Non

True

Skeleton

=

Skeleton

-10

670

760

1

-10

=

-10

{{"", "n", ""}}

{"Skeleton","[","n","]"}

Skeleton[n]

{""}

{}

{""}

Unary

Matchfix

Non

True

CurlyDoubleQuote

=

CurlyDoubleQuote

-10

670

760

1

-10

=

-10

{{"“", "expr", "”"}}

{"CurlyDoubleQuote","[","expr","]"}

CurlyDoubleQuote[expr]

{"“"}

{}

{"”"}

Unary

Matchfix

Non

False

CurlyQuote

=

CurlyQuote

-10

670

760

1

-10

=

-10

{{"‘", "expr", "’"}}

{"CurlyQuote","[","expr","]"}

CurlyQuote[expr]

{"‘"}

{}

{"’"}

Unary

Matchfix

Non

False

FullwidthParenthesis

=

FullwidthParenthesis

-10

670

760

1

-10

=

-10

{{"（", "expr", "）"}}

{"（"}

{}

{"）"}

Unary

Matchfix

Non

True

DoubleAngleBracket

=

DoubleAngleBracket

-10

670

760

1

-10

=

-10

{{"《", "expr", "》"}}

{"《"}

{}

{"》"}

Unary

Matchfix

Non

True

FullwidthAngleBracket

=

FullwidthAngleBracket

-10

670

760

1

-10

=

-10

{{"〈", "expr", "〉"}}

{"〈"}

{}

{"〉"}

Unary

Matchfix

Non

True

FullwidthSquareBracket

=

FullwidthSquareBracket

-10

670

760

1

-10

=

-10

{{"［", "expr", "］"}}

{"［"}

{}

{"］"}

Unary

Matchfix

Non

True

TortoiseShellBracket

=

TortoiseShellBracket

-10

670

760

1

-10

=

-10

{{"〔", "expr", "〕"}}

{"〔"}

{}

{"〕"}

Unary

Matchfix

Non

True

BlackLenticularBracket

=

BlackLenticularBracket

-10

670

760

1

-10

=

-10

{{"【", "expr", "】"}}

{"【"}

{}

{"】"}

Unary

Matchfix

Non

True

WhiteCornerBracket

=

WhiteCornerBracket

-10

670

760

1

-10

=

-10

{{"『", "expr", "』"}}

{"『"}

{}

{"』"}

Unary

Matchfix

Non

True

CornerBracket

=

CornerBracket

-10

670

760

1

-10

=

-10

{{"「", "expr", "」"}}

{"「"}

{}

{"」"}

Unary

Matchfix

Non

True

FullwidthCurlyBracket

=

FullwidthCurlyBracket

-10

670

760

1

-10

=

-10

{{"｛", "expr", "｝"}}

{"｛"}

{}

{"｝"}

Unary

Matchfix

Non

True

BoxGroup

≠

None

-10

670

760

1

-10

{{"\(", "expr", "\)"}}

\(expr\)

{"\("}

{}

{"\)"}

Unary

Matchfix

Non

True

The interpretation of this operator depends on context. It must contain box sublanguage.

Parentheses

≠

None

-10

670

760

1

-10

{{"(", "expr", ")"}}

{"("}

{}

{")"}

Unary

Matchfix

Non

True

NumberBase

≠

None

-10

670

760

1

-10

{{"n", "^^", "digits"}}

{"n", "^^", "digits"}

n^^digits

{}

{"^^"}

{}

Binary

Infix

Non

True

Interprets digits as a number literal in base n. The base n must be a positive integer no greater than 36.

NumberMagnitude

≠

None

-10

670

760

1

-10

{{"number", "*^", "magnitude"}}

{"number", "*^", "magnitude"}

number*^magnitude

{}

{"*^"}

{}

Binary

Infix

Non

True

Gives mantissa*base^magnitude, where base^^mantissa=number and magnitude is a decimal number expressed without ^^, `, or ``. Only allowed in a number literal, and only after any ` or ``.

NumberPrecisionPostfix

≠

None

-10

670

760

1

-10

{{"number", "`"}}

{"number", "`"}

number`

{}

{"`"}

{}

Unary

Postfix

Left

True

Specifies the precision of number to be $MachinePrecision. Any magnitude must come after `."

NumberPrecision

≠

None

-10

670

760

1

-10

{{"number", "`", "s"}}

{"number", "`", "s"}

number`s

{}

{"`"}

{}

Binary

Infix

Non

True

Specifies the precision of number, where s is a positive decimal expressed without using ^^ or `. Any magnitude must come after `."

NumberAccuracy

≠

None

-10

670

760

1

-10

{{"number", "``", "s"}}

{"number", "``", "s"}

number``s

{}

{"``"}

{}

Binary

Infix

Non

True

Specifies the accuracy (in number of digits to the right of decimal) of number, where s is a positive decimal expressed without using ^^ or `. A magnitude must come after ``.

ContextPathSeparator

≠

None

-10

670

760

1

-10

{{"symb1", "`", "symb2"}}

{"symb1", "`", "symb2"}

symb1`symb2

{}

{"`"}

{}

Non

True

Functions as a decimal point: either contextpath1 or contextpath2 may be empty, but not both at the same time.

MessageName

=

MessageName

1060

750

=

750

2

=

2

850

{{"expr", "::", "string"}}

{"MessageName", "[", "expr", ",", "", "string", "", "]"}

MessageName[expr, "string"]

{}

{"::"}

{}

Binary

Infix

Non

True

SlotNumber

≠

Slot

1050

740

=

740

3

=

3

840

{{"#", "n"}}

{"Slot", "[", "n", "]"}

Slot[n]

{"#"}

{}

{}

Unary

Prefix

Non

True

SlotSequenceNumber

≠

SlotSequence

1050

740

=

740

3

=

3

840

{{"##", "n"}}

{"SlotSequence", "[", "n", "]"}

SlotSequence[n]

{"##"}

{}

{}

Unary

Prefix

Non

True

Slot

=

Slot

1040

740

=

740

3

=

3

840

{{"#"}}

{"Slot", "[", "1", "]"}

Slot[1]

{"#"}

{}

{}

Nullary

None

Non

True

SlotSequence

=

SlotSequence

1040

740

=

740

3

=

3

840

{{"##"}}

{"SlotSequence", "[", "1", "]"}

SlotSequence[1]

{"##"}

{}

{}

Nullary

None

Non

True

Out

=

Out

1030

670

735

4

=

4

830

{{"%%", "…", "%"}}

{"Out", "[", "-", "n", "]"}

Out[-n]

{"%%"}

{}

{}

Nullary

None

Non

True

OutNumber

≠

Out

1020

670

735

4

=

4

830

{{"%", "n"}}

{"Out", "[", "n", "]"}

Out[n]

{"%"}

{}

{}

Unary

Prefix

Non

True

BlankHead

≠

Blank

1010

730

=

730

5

=

5

820

{{"_", "expr"}}

{"Blank", "[", "expr", "]"}

Blank[expr]

{"_"}

{}

{}

Unary

Prefix

Non

True

BlankSequenceHead

≠

BlankSequence

1010

730

=

730

5

=

5

820

{{"__", "expr"}}

{"BlankSequence", "[", "expr", "]"}

BlankSequence[expr]

{"__"}

{}

{}

Unary

Prefix

Non

True

BlankNullSequenceHead

≠

BlankNullSequence

1010

730

=

730

5

=

5

820

{{"___", "expr"}}

{"BlankNullSequence", "[", "expr", "]"}

BlankNullSequence[expr]

{"___"}

{}

{}

Unary

Prefix

Non

True

NamedBlankHead

≠

Blank

1000

730

=

730

5

=

5

820

{{"symb", "_", "expr"}}

{"Pattern", "[", "symb", ",", "Blank", "[", "expr", "]", "]"}

Pattern[symb, Blank[expr]]

{}

{"_"}

{}

Binary

Infix

Non

True

NamedBlankSequenceHead

≠

BlankSequence

1000

730

=

730

5

=

5

820

{{"symb", "__", "expr"}}

{"Pattern", "[", "symb", ",", "BlankSequence", "[", "expr", "]", "]"}

Pattern[symb, BlankSequence[expr]]

{}

{"__"}

{}

Binary

Infix

Non

True

NamedBlankNullSequenceHead

≠

BlankNullSequence

1000

730

=

730

5

=

5

820

{{"symb", "___", "expr"}}

{"Pattern", "[", "symb", ",", "BlankNullSequence", "[", "expr", "]", "]"}

Pattern[symb, BlankNullSequence[expr]]

{}

{"___"}

{}

Binary

Infix

Non

True

NamedBlank

≠

Blank

990

730

=

730

5

=

5

820

{{"symb", "_"}}

{"Pattern", "[", "symb", ",", "Blank", "[", "]", "]"}

Pattern[symb, Blank[]]

{}

{"_"}

{}

Unary

Postfix

Non

True

NamedBlankSequence

≠

BlankSequence

990

730

=

730

5

=

5

820

{{"symb", "__"}}

{"Pattern", "[", "symb", ",", "BlankSequence", "[", "]", "]"}

Pattern[symb, BlankSequence[]]

{}

{"__"}

{}

Unary

Postfix

Non

True

NamedBlankOptional

≠

Blank

990

730

=

730

5

=

5

820

{{"symb", "_."}}

{"Optional", "[", "Pattern", ",", "Blank", "[", "]", "]", "]"}

Optional[Pattern[symb, Blank[]]]

{}

{"_."}

{}

Unary

Postfix

Non

True

NamedBlankNullSequence

≠

BlankNullSequence

990

730

=

730

5

=

5

820

{{"symb", "___"}}

{"Pattern", "[", "symb", ",", "BlankNullSequence", "[", "]", "]"}

Pattern[symb, BlankNullSequence[]]

{}

{"___"}

{}

Unary

Postfix

Non

True

Blank

=

Blank

980

730

=

730

5

=

5

820

{{"_"}}

{"Blank", "[", "]"}

Blank[]

{"_"}

{}

{}

Nullary

None

Non

True

A Blank (_) with no accompanying decoration.

BlankNullSequence

=

BlankNullSequence

980

730

=

730

5

=

5

820

{{"___"}}

{"BlankNullSequence", "[", "]"}

BlankNullSequence[]

{"___"}

{}

{}

Nullary

None

Non

True

A BlankNullSequence (___) with no accompanying decoration.

BlankOptional

≠

Blank

980

730

=

730

5

=

5

820

{{"_."}}

{"Optional", "[", "Blank", "]"}

Optional[Blank[]]

{"_."}

{}

{}

Nullary

None

Non

True

No name or head.

BlankSequence

=

BlankSequence

980

730

=

730

5

=

5

820

{{"__"}}

{"BlankSequence", "[", "]"}

BlankSequence[]

{"__"}

{}

{}

Nullary

None

Non

True

A BlankNullSequence (__) with no accompanying decoration.

Get

=

Get

970

720

=

720

6

=

6

810

{{"<<", "filename"}}

{"Get", "[", "", "filename"}

Get["filename"]

{"<<"}

{}

{}

Unary

Prefix

Right

True

InvisiblePrefixScriptBase

=

InvisiblePrefixScriptBase

960

670

715

6.5

800

=

800

{{"", "expr"}}

{"InvisiblePrefixScriptBase", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

False

Usage and Parse may not be correct.

InvisiblePostfixScriptBase

=

InvisiblePostfixScriptBase

960

670

715

6.5

800

=

800

{{"expr", ""}}

{"InvisiblePostfixScriptBase", "[", "expr", "]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

PartialOverscriptBox

=

PartialOverscriptBox

950

670

710

7

790

{{"expr", ""}}

{"FractionBox", "[", "expr", ","\[", "Placeholder", "]"]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

OverscriptBox

≠

Overscript

950

670

710

7

=

7

790

{{"expr1", "\&", "expr2"}}

{"OverscriptBox", "[", "expr1", ",", "expr2", "]"}

{}

{"\&"}

{}

Binary

Infix

Missing["Unknown"]

True

PartialUnderscriptBox

=

PartialUnderscriptBox

950

670

710

7

790

{{"expr", ""}}

{"FractionBox", "[", "expr", ","\[", "Placeholder", "]"]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

UnderscriptBox

≠

Underscript

950

670

710

7

=

7

790

{{"expr1", "\+", "expr2"}}

{"UnderscriptBox", "[", "expr1", ",", "expr2", "]"}

{}

{"\+"}

{}

Binary

Infix

Missing["Unknown"]

True

OverunderscriptBox

≠

Underoverscript

940

670

700

7

≠

7.5

785

{{"expr1", "\&", "expr2", "\%", "expr3"}}

{"UnderoverscriptBox", "[", "expr1", ",", "expr3", ",", "expr2", "]"}

{}

{"\&"}

{"\%"}

Ternary

Infix

Missing["Unknown"]

True

UnderoverscriptBox

≠

Underoverscript

940

670

700

7

≠

7.5

785

{{"expr1", "\+", "expr2", "\%", "expr3"}}

{"UnderoverscriptBox", "[", "expr1", ",", "expr2", ",", "expr3", "]"}

{}

{"\+"}

{"\%"}

Ternary

Infix

Missing["Unknown"]

True

InterpretBoxes

≠

None

930

670

695

7.6

780

{{"\*", "expr"}}

{"\*"}

{}

{}

Unary

Prefix

Right

True

PartialSubscriptBox

=

PartialSubscriptBox

920

670

690

8

775

{{"expr", ""}}

{"FractionBox", "[", "expr", ","\[", "Placeholder", "]"]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

SubscriptBox

≠

Subscript

920

670

690

8

=

8

775

{{"expr1", "\_", "expr2"}}

{"SubscriptBox", "[", "expr1", ",", "expr2", "]"}

{}

{"\_"}

{}

Binary

Infix

Missing["Unknown"]

True

SubsuperscriptBox

≠

Subsuperscript

920

670

690

8

=

8

775

{{"expr1", "\_", "expr2", "\%", "expr3"}}

{"SubsuperscriptBox", "[", "expr1", ",", "expr2", ",", "expr3", "]"}

{}

{"\_"}

{"\%"}

Ternary

Infix

Missing["Unknown"]

True

PatternTest

=

PatternTest

910

680

=

680

9

=

9

770

{{"expr1", "?", "expr2"}}

{"PatternTest", "[", "expr1", ",", "expr2", "]"}

PatternTest[expr1, expr2]

{}

{"?"}

{}

Binary

Infix

Missing["Unknown"]

True

InlinePart

=

InlinePart

900

670

675

9.5

763

=

763

{{"expr1", "", "expr2"}}

{"InlinePart", "[", "expr1", ",", "expr2", "]"}

RowBox[List[expr1, InlinePart, expr2]]

{}

{""}

{}

Binary

Infix

Right

False

"InlinePart or @> was an operator that was introduced in one of the pre-release/betas for version 10 and subsequently removed before public release. It was briefly available publicly in the Raspberry Pi version of Wolfram Language that co-existed with the pre-releases at the time. The operator allowed you to access elements of a list with an infix operator." https://mathematica.stackexchange.com/questions/134506/inlinepart-what-is-it-and-what-happened-to-it

Part

=

Part

890

670

=

670

10

=

10

762

{{"expr1", "[[", "expr2", "]]"}, {"expr1", "〚", "expr2", "〛"}}

{"Part", "[", "expr1", ",", "expr2", "]"}

Part[expr1, expr2, \[Ellipsis]]

{}

{"[[", "〚"}

{"]]", "〛"}

n-ary

Postfix

Left

True

FunctionApply

≠

None

890

670

=

670

10

761

{{"expr1", "[", "expr2", "]"}}

{"expr1", "[", "expr2", ",", "…", "]"}

expr1[expr2, \[Ellipsis]]

{}

{"["}

{"]"}

n-ary

Postfix

Left

True

Decrement

=

Decrement

880

660

≠

665

11

=

11

760

{{"expr", "--"}}

{"Decrement", "[", "expr", "]"}

Decrement[expr]

{}

{"--"}

{}

Unary

Postfix

Left

True

Increment

=

Increment

880

660

≠

665

11

=

11

760

{{"expr", "++"}}

{"Increment", "[", "expr", "]"}

Increment[expr]

{}

{"++"}

{}

Unary

Postfix

Left

True

PreDecrement

=

PreDecrement

870

660

=

660

12

=

12

750

{{"--", "expr"}}

{"PreDecrement", "[", "expr", "]"}

PreDecrement[expr]

{"--"}

{}

{}

Unary

Prefix

Right

True

PreIncrement

=

PreIncrement

870

660

=

660

12

=

12

750

{{"++", "expr"}}

{"PreIncrement", "[", "expr", "]"}

PreIncrement[expr]

{"++"}

{}

{}

Unary

Prefix

Right

True

Composition

=

Composition

860

625

≠

655

13

=

13

740

{{"expr1", "@*", "expr2"}}

{"Composition", "[", "expr1", ",", "expr2", "]"}

Composition[expr1, expr2]

{}

{"@*"}

{}

Binary

Infix

None

True

RightComposition

=

RightComposition

850

624

≠

650

13

=

13

740

{{"expr1", "/*", "expr2"}}

{"RightComposition", "[", "expr1", ",", "expr2", "]"}

RightComposition[expr1, expr2]

{}

{"/*"}

{}

Binary

Infix

None

True

FunctionApplyPrefix

≠

Prefix

840

640

=

640

14

730

=

730

{{"expr1", "@", "expr2"}, {"expr1", "", "expr2"}}

{"expr1", "[", "expr2", "]"}

expr1[expr2]

{}

{"@", ""}

{}

Binary

Infix

Right

True

Operator Notations includes usages with invisible unicode characters.

FunctionApplyInfix

≠

Infix

830

630

=

630

15

720

{{"expr1", "~", "expr2", "~", "expr3"}}

{"expr2", "[", "expr1", ",", "expr3", "]"}

expr2[expr1, expr3]

{}

{"~"}

{}

Ternary

Infix

Left

True

Infix[f[x,y]] will display as x~f~y. Precedence identifies Infix with this operator, and Precedence[Infix]==30 which is almost correct.

Apply

=

Apply

820

620

≠

626

16

=

16

710

{{"expr1", "@@", "expr2"}}

{"Apply", "[", "expr1", ",", "expr2", "]"}

Apply[expr1, expr2]

{}

{"@@"}

{}

Binary

Infix

Right

True

ApplyFirstLevel

≠

Apply

810

620

≠

625

16

=

16

710

{{"expr1", "@@@", "expr2"}}

{"Apply", "[", "expr1", ",", "expr2", "{", "1", "}", "]"}

Apply[expr1, expr2, List[1]]

{}

{"@@@"}

{}

Binary

Infix

Right

True

Map

=

Map

800

620

=

620

16

=

16

710

{{"expr1", "/@", "expr2"}}

{"Map", "[", "expr1", ",", "expr2", "]"}

Map[expr1, expr2]

{}

{"/@"}

{}

Binary

Infix

Right

True

MapAll

=

MapAll

800

620

=

620

16

=

16

710

{{"expr1", "//@", "expr2"}}

{"MapAll", "[", "expr1", ",", "expr2", "]"}

MapAll[expr1, expr2]

{}

{"//@"}

{}

Binary

Infix

Right

True

Factorial

=

Factorial

790

610

=

610

17

=

17

700

{{"expr", "!"}}

{"Factorial", "[", "expr", "]"}

Factorial[expr]

{}

{"!"}

{}

Unary

Postfix

Left

True

Factorial2

=

Factorial2

790

610

=

610

17

=

17

700

{{"expr", "!!"}}

{"Factorial2", "[", "expr", "]"}

Factorial2[expr]

{}

{"!!"}

{}

Unary

Postfix

Left

True

Conjugate

=

Conjugate

780

670

605

18

=

18

695

=

695

{{"expr", ""}}

{"Conjugate", "[", "expr", "]"}

Conjugate[expr]

{}

{""}

{}

Unary

Postfix

Left

True

ConjugateTranspose

=

ConjugateTranspose

780

670

605

18

=

18

695

=

695

{{"expr", ""}, {"expr", ""}}

{"ConjugateTranspose", "[", "expr", "]"}

ConjugateTranspose[expr]

{}

{"", ""}

{}

Unary

Postfix

Left

True

SuperDagger

=

SuperDagger

780

0

≠

605

18

695

{{"expr", "^†"}}

{"SuperDagger", "[", "expr", "]"}

Power[expr, \[Dagger]]

{}

{"^†"}

{}

Unary

Postfix

Left

True

Transpose

=

Transpose

780

670

605

18

=

18

695

=

695

{{"expr", ""}}

{"Transpose", "[", "expr", "]"}

Transpose[expr]

{}

{""}

{}

Unary

Postfix

Left

True

Derivative

=

Derivative

770

670

604

19

=

19

680

{{"expr", "''"}}

{"Derivative", "[", "n", "]", "[", "expr", "]"}

Derivative[n][expr]

{}

{"''"}

{}

Unary

Postfix

Left

True

StringJoin

=

StringJoin

760

600

=

600

20

=

20

670

{{"expr1", "<>", "expr2"}}

{"StringJoin", "[", "expr1", ",", "expr2", "]"}

StringJoin[expr1, expr2]

{}

{"<>"}

{}

Binary

Infix

None

True

Power

=

Power

750

590

=

590

21

=

21

660

{{"expr1", "^", "expr2"}}

{"Power", "[", "expr1", ",", "expr2", "]"}

Power[expr1, expr2]

{}

{"^"}

{}

Binary

Infix

Right

True

PartialSuperscriptBox

=

PartialSuperscriptBox

750

670

590

21

660

{{"expr", ""}}

{"FractionBox", "[", "expr", ","\[", "Placeholder", "]"]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

SuperscriptBox

=

SuperscriptBox

750

590

=

590

21

=

21

660

{{"expr1", "\^", "expr2"}}

{"SuperscriptBox", "[", "expr1", ",", "expr2", "]"}

{}

{"\^"}

{}

Binary

Infix

Right

True

SupersubscriptBox

≠

SubsuperscriptBox

750

690

≠

590

21

=

21

660

{{"expr1", "\^", "expr2", "\%", "expr3"}}

{"SubsuperscriptBox", "[", "expr1", ",", "expr3", ",", "expr2", "]"}

{}

{"\^"}

{"\%"}

Ternary

Infix

Right

True

DoubleDownArrow

=

DoubleDownArrow

740

580

=

580

21.5

650

=

650

{{"x", "⇓", "y"}}

{"DoubleDownArrow", "[", "x", ",", "y", "]"}

DoubleDownArrow[x, y]

{}

{"⇓"}

{}

Binary

Infix

None

False

DoubleLongLeftArrow

=

DoubleLongLeftArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟸", "y"}}

{"DoubleLongLeftArrow", "[", "x", ",", "y", "]"}

DoubleLongLeftArrow[x, y]

{}

{"⟸"}

{}

Binary

Infix

None

False

DoubleLongLeftRightArrow

=

DoubleLongLeftRightArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟺", "y"}}

{"DoubleLongLeftRightArrow", "[", "x", ",", "y", "]"}

DoubleLongLeftRightArrow[x, y]

{}

{"⟺"}

{}

Binary

Infix

None

False

DoubleLongRightArrow

=

DoubleLongRightArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟹", "y"}}

{"DoubleLongRightArrow", "[", "x", ",", "y", "]"}

DoubleLongRightArrow[x, y]

{}

{"⟹"}

{}

Binary

Infix

None

False

DoubleUpArrow

=

DoubleUpArrow

740

580

=

580

21.5

650

=

650

{{"x", "⇑", "y"}}

{"DoubleUpArrow", "[", "x", ",", "y", "]"}

DoubleUpArrow[x, y]

{}

{"⇑"}

{}

Binary

Infix

None

False

DoubleUpDownArrow

=

DoubleUpDownArrow

740

580

=

580

21.5

650

=

650

{{"x", "⇕", "y"}}

{"DoubleUpDownArrow", "[", "x", ",", "y", "]"}

DoubleUpDownArrow[x, y]

{}

{"⇕"}

{}

Binary

Infix

None

False

DownArrow

=

DownArrow

740

580

=

580

21.5

650

=

650

{{"x", "↓", "y"}}

{"DownArrow", "[", "x", ",", "y", "]"}

DownArrow[x, y]

{}

{"↓"}

{}

Binary

Infix

None

False

DownArrowBar

=

DownArrowBar

740

580

=

580

21.5

650

=

650

{{"x", "⤓", "y"}}

{"DownArrowBar", "[", "x", ",", "y", "]"}

DownArrowBar[x, y]

{}

{"⤓"}

{}

Binary

Infix

None

False

DownArrowUpArrow

=

DownArrowUpArrow

740

580

=

580

21.5

650

=

650

{{"x", "⇵", "y"}}

{"DownArrowUpArrow", "[", "x", ",", "y", "]"}

DownArrowUpArrow[x, y]

{}

{"⇵"}

{}

Binary

Infix

None

False

DownTeeArrow

=

DownTeeArrow

740

580

=

580

21.5

650

=

650

{{"x", "↧", "y"}}

{"DownTeeArrow", "[", "x", ",", "y", "]"}

DownTeeArrow[x, y]

{}

{"↧"}

{}

Binary

Infix

None

False

LeftDownTeeVector

=

LeftDownTeeVector

740

580

=

580

21.5

650

=

650

{{"x", "⥡", "y"}}

{"LeftDownTeeVector", "[", "x", ",", "y", "]"}

LeftDownTeeVector[x, y]

{}

{"⥡"}

{}

Binary

Infix

None

False

LeftDownVector

=

LeftDownVector

740

580

=

580

21.5

650

=

650

{{"x", "⇃", "y"}}

{"LeftDownVector", "[", "x", ",", "y", "]"}

LeftDownVector[x, y]

{}

{"⇃"}

{}

Binary

Infix

None

False

LeftDownVectorBar

=

LeftDownVectorBar

740

580

=

580

21.5

650

=

650

{{"x", "⥙", "y"}}

{"LeftDownVectorBar", "[", "x", ",", "y", "]"}

LeftDownVectorBar[x, y]

{}

{"⥙"}

{}

Binary

Infix

None

False

LeftUpDownVector

=

LeftUpDownVector

740

580

=

580

21.5

650

=

650

{{"x", "⥑", "y"}}

{"LeftUpDownVector", "[", "x", ",", "y", "]"}

LeftUpDownVector[x, y]

{}

{"⥑"}

{}

Binary

Infix

None

False

LeftUpTeeVector

=

LeftUpTeeVector

740

580

=

580

21.5

650

=

650

{{"x", "⥠", "y"}}

{"LeftUpTeeVector", "[", "x", ",", "y", "]"}

LeftUpTeeVector[x, y]

{}

{"⥠"}

{}

Binary

Infix

None

False

LeftUpVector

=

LeftUpVector

740

580

=

580

21.5

650

=

650

{{"x", "↿", "y"}}

{"LeftUpVector", "[", "x", ",", "y", "]"}

LeftUpVector[x, y]

{}

{"↿"}

{}

Binary

Infix

None

False

LeftUpVectorBar

=

LeftUpVectorBar

740

580

=

580

21.5

650

=

650

{{"x", "⥘", "y"}}

{"LeftUpVectorBar", "[", "x", ",", "y", "]"}

LeftUpVectorBar[x, y]

{}

{"⥘"}

{}

Binary

Infix

None

False

LongLeftArrow

=

LongLeftArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟵", "y"}}

{"LongLeftArrow", "[", "x", ",", "y", "]"}

LongLeftArrow[x, y]

{}

{"⟵"}

{}

Binary

Infix

None

False

LongLeftRightArrow

=

LongLeftRightArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟷", "y"}}

{"LongLeftRightArrow", "[", "x", ",", "y", "]"}

LongLeftRightArrow[x, y]

{}

{"⟷"}

{}

Binary

Infix

None

False

LongRightArrow

=

LongRightArrow

740

580

=

580

21.5

650

=

650

{{"x", "⟶", "y"}}

{"LongRightArrow", "[", "x", ",", "y", "]"}

LongRightArrow[x, y]

{}

{"⟶"}

{}

Binary

Infix

None

False

ReverseUpEquilibrium

=

ReverseUpEquilibrium

740

580

=

580

21.5

650

=

650

{{"x", "⥯", "y"}}

{"ReverseUpEquilibrium", "[", "x", ",", "y", "]"}

ReverseUpEquilibrium[x, y]

{}

{"⥯"}

{}

Binary

Infix

None

False

RightDownTeeVector

=

RightDownTeeVector

740

580

=

580

21.5

650

=

650

{{"x", "⥝", "y"}}

{"RightDownTeeVector", "[", "x", ",", "y", "]"}

RightDownTeeVector[x, y]

{}

{"⥝"}

{}

Binary

Infix

None

False

RightDownVector

=

RightDownVector

740

580

=

580

21.5

650

=

650

{{"x", "⇂", "y"}}

{"RightDownVector", "[", "x", ",", "y", "]"}

RightDownVector[x, y]

{}

{"⇂"}

{}

Binary

Infix

None

False

RightDownVectorBar

=

RightDownVectorBar

740

580

=

580

21.5

650

=

650

{{"x", "⥕", "y"}}

{"RightDownVectorBar", "[", "x", ",", "y", "]"}

RightDownVectorBar[x, y]

{}

{"⥕"}

{}

Binary

Infix

None

False

RightUpDownVector

=

RightUpDownVector

740

580

=

580

21.5

650

=

650

{{"x", "⥏", "y"}}

{"RightUpDownVector", "[", "x", ",", "y", "]"}

RightUpDownVector[x, y]

{}

{"⥏"}

{}

Binary

Infix

None

False

RightUpTeeVector

=

RightUpTeeVector

740

580

=

580

21.5

650

=

650

{{"x", "⥜", "y"}}

{"RightUpTeeVector", "[", "x", ",", "y", "]"}

RightUpTeeVector[x, y]

{}

{"⥜"}

{}

Binary

Infix

None

False

RightUpVector

=

RightUpVector

740

580

=

580

21.5

650

=

650

{{"x", "↾", "y"}}

{"RightUpVector", "[", "x", ",", "y", "]"}

RightUpVector[x, y]

{}

{"↾"}

{}

Binary

Infix

None

False

RightUpVectorBar

=

RightUpVectorBar

740

580

=

580

21.5

650

=

650

{{"x", "⥔", "y"}}

{"RightUpVectorBar", "[", "x", ",", "y", "]"}

RightUpVectorBar[x, y]

{}

{"⥔"}

{}

Binary

Infix

None

False

ShortDownArrow

=

ShortDownArrow

740

580

=

580

21.5

650

=

650

{{"x", "", "y"}}

{"ShortDownArrow", "[", "x", ",", "y", "]"}

ShortDownArrow[x, y]

{}

{""}

{}

Binary

Infix

None

False

ShortUpArrow

=

ShortUpArrow

740

580

=

580

21.5

650

=

650

{{"x", "", "y"}}

{"ShortUpArrow", "[", "x", ",", "y", "]"}

ShortUpArrow[x, y]

{}

{""}

{}

Binary

Infix

None

False

UpArrow

=

UpArrow

740

580

=

580

21.5

650

=

650

{{"x", "↑", "y"}}

{"UpArrow", "[", "x", ",", "y", "]"}

UpArrow[x, y]

{}

{"↑"}

{}

Binary

Infix

None

False

UpArrowBar

=

UpArrowBar

740

580

=

580

21.5

650

=

650

{{"x", "⤒", "y"}}

{"UpArrowBar", "[", "x", ",", "y", "]"}

UpArrowBar[x, y]

{}

{"⤒"}

{}

Binary

Infix

None

False

UpArrowDownArrow

=

UpArrowDownArrow

740

580

=

580

21.5

650

=

650

{{"x", "⇅", "y"}}

{"UpArrowDownArrow", "[", "x", ",", "y", "]"}

UpArrowDownArrow[x, y]

{}

{"⇅"}

{}

Binary

Infix

None

False

UpDownArrow

=

UpDownArrow

740

580

=

580

21.5

650

=

650

{{"x", "↕", "y"}}

{"UpDownArrow", "[", "x", ",", "y", "]"}

UpDownArrow[x, y]

{}

{"↕"}

{}

Binary

Infix

None

False

UpEquilibrium

=

UpEquilibrium

740

580

=

580

21.5

650

=

650

{{"x", "⥮", "y"}}

{"UpEquilibrium", "[", "x", ",", "y", "]"}

UpEquilibrium[x, y]

{}

{"⥮"}

{}

Binary

Infix

None

False

UpTeeArrow

=

UpTeeArrow

740

580

=

580

21.5

650

=

650

{{"x", "↥", "y"}}

{"UpTeeArrow", "[", "x", ",", "y", "]"}

UpTeeArrow[x, y]

{}

{"↥"}

{}

Binary

Infix

None

False

Sqrt

=

Sqrt

730

670

570

22

=

22

650

≠

640

{{"√", "expr"}}

{"Sqrt", "[", "expr", "]"}

Sqrt[expr]

{"√"}

{}

{}

Unary

Prefix

Right

True

RadicalBox

=

RadicalBox

730

670

570

22

=

22

640

{{"\@", "expr1", "\%", "expr2"}}

{"RadicalBox", "[", "expr1", ",", "expr2", "]"}

{"\@"}

{}

{"\%"}

Binary

Prefix

Right

True

SqrtBox

≠

Sqrt

730

670

570

22

=

22

650

≠

640

{{"\@", "expr"}}

{"SqrtBox", "[", "expr", "]"}

{"\@"}

{}

{}

Unary

Prefix

Right

True

CapitalDifferentialD

=

CapitalDifferentialD

720

550

≠

560

23

630

=

630

{{"", "x"}}

{"CapitalDifferentialD", "[", "x", "]"}

CapitalDifferentialD[x]

{""}

{}

{}

Unary

Prefix

Right

False

DifferentialD

=

DifferentialD

720

550

≠

560

23

630

=

630

{{"", "x"}}

{"DifferentialD", "[", "x", "]"}

DifferentialD[x]

{""}

{}

{}

Unary

Prefix

Right

False

DifferenceDelta

=

DifferenceDelta

710

550

=

550

24

=

24

620

=

620

{{"", "expr"}}

{"DifferenceDelta", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

DiscreteRatio

=

DiscreteRatio

710

550

=

550

24

=

24

620

=

620

{{"", "expr"}}

{"DiscreteRatio", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

DiscreteShift

=

DiscreteShift

710

550

=

550

24

=

24

620

=

620

{{"", "expr"}}

{"DiscreteShift", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Laplacian

=

Laplacian

710

670

550

24

620

=

620

{{"∆", "expr"}}

{"Laplacian", "[", "expr", "]"}

{"∆"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

PartialD

=

PartialD

710

670

550

24

=

24

620

=

620

{{"∂", "expr"}}

{"PartialD", "[", "expr", "]"}

{"∂"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Del

=

Del

710

550

=

550

24

=

24

620

=

620

{{"∇", "expr"}}

{"Del", "[", "expr", "]"}

Del[expr]

{"∇"}

{}

{}

Unary

Prefix

Right

False

Gradient

=

Gradient

700

550

≠

545

24

615

=

615

{{"", "expr"}}

{"Gradient", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Square

=

Square

690

540

=

540

25

=

25.0

610

≠

611

{{"", "expr"}}

{"Square", "[", "expr", "]"}

Square[expr]

{""}

{}

{}

Unary

Prefix

Right

False

Piecewise

=

Piecewise

680

480

≠

535

1

≠

25.5

600

≠

610

{{"", "expr"}}

{"Piecewise", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

SmallCircle

=

SmallCircle

670

530

=

530

25

≠

25.6

607

≠

609

{{"expr1", "∘", "expr2"}}

{"SmallCircle", "[", "expr1", ",", "expr2", "]"}

SmallCircle[expr1, expr2]

{}

{"∘"}

{}

Binary

Infix

None

False

CircleDot

=

CircleDot

660

520

=

520

26, 35, 37

≠

26

605

≠

608

{{"expr1", "⊙", "expr2"}}

{"CircleDot", "[", "expr1", ",", "expr2", "]"}

CircleDot[expr1, expr2]

{}

{"⊙"}

{}

Binary

Infix

None

False

NonCommutativeMultiply

=

NonCommutativeMultiply

650

510

=

510

27

=

27

607

{{"expr1", "**", "expr2"}}

{"NonCommutativeMultiply", "[", "expr1", ",", "expr2", "]"}

NonCommutativeMultiply[expr1, expr2]

{}

{"**"}

{}

Binary

Infix

None

True

Cross

=

Cross

640

500

=

500

28

=

28

603

≠

606

{{"expr1", "", "expr2"}}

{"Cross", "[", "expr1", ",", "expr2", "]"}

Cross[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

Dot

=

Dot

630

490

=

490

29

=

29

605

{{"expr1", ".", "expr2"}}

{"Dot", "[", "expr1", ",", "expr2", "]"}

Dot[expr1, expr2]

{}

{"."}

{}

Binary

Infix

None

True

TensorWedge

=

TensorWedge

620

500

≠

488

29.5

603

≠

604

{{"expr1", "", "expr2"}}

{"TensorWedge", "[", "expr1", ",", "expr2", "]"}

TensorWedge[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

TensorProduct

=

TensorProduct

610

495

≠

487

29.6

602

≠

603

{{"expr1", "", "expr2"}}

{"TensorProduct", "[", "expr1", ",", "expr2", "]"}

TensorProduct[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

PermutationProduct

=

PermutationProduct

600

520

≠

486

29.7

605

≠

602

{{"expr1", "", "expr2"}}

{"PermutationProduct", "[", "expr1", ",", "expr2", "]"}

PermutationProduct[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

Curl

=

Curl

590

670

485

29.8

601

=

601

{{"", "expr"}}

{"Curl", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Divergence

=

Divergence

590

550

≠

485

29.8

601

=

601

{{"", "expr"}}

{"Divergence", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

UnaryMinusPlus

≠

MinusPlus

580

310

≠

480

30

=

30

430

≠

600

{{"∓", "expr"}}

{"MinusPlus", "[", "expr", "]"}

MinusPlus[expr]

{"∓"}

{}

{}

Unary

Prefix

Right

False

UnaryPlusMinus

≠

PlusMinus

580

310

≠

480

30

=

30

430

≠

600

{{"±", "expr"}}

{"PlusMinus", "[", "expr", "]"}

PlusMinus[expr]

{"±"}

{}

{}

Unary

Prefix

Right

False

Minus

=

Minus

580

480

=

480

30

=

30

430

≠

600

{{"-", "expr"}, {"−", "expr"}}

{"Minus", "[", "expr", "]"}

Times[-1, expr]

{"-", "−"}

{}

{}

Unary

Prefix

Right

True

Operator Notations includes usages with invisible unicode characters.

UnaryPlus

≠

Plus

580

310

≠

480

30

600

{{"+", "expr"}}

{"Plus", "[", "expr", "]"}

Plus[expr]

{"+"}

{}

{}

Unary

Prefix

Right

True

Converts to expr on input.

Divides

=

Divides

570

670

470

31

590

=

590

{{"expr1", "∣", "expr2"}}

{"Divides", "[", "expr1", ",", "expr2", "]"}

Divisible[expr2, expr1]

{}

{"∣"}

{}

Binary

Infix

None

True

PartialFractionBox

=

PartialFractionBox

570

670

470

31

590

{{"expr", ""}}

{"FractionBox", "[", "expr", ","\[", "Placeholder", "]"]"}

{}

{""}

{}

Unary

Postfix

Left

False

This operator is an invisible Unicode character and is used in the layout of displayed expressions.

FractionBox

=

FractionBox

570

670

470

31

590

{{"expr1", "\/", "expr2"}}

{"FractionBox", "[", "expr1", ",", "expr2", "]"}

{}

{"\/"}

{}

Binary

Infix

Left

True

Divide

=

Divide

570

470

=

470

31

=

31

590

=

590

{{"expr1", "/", "expr2"}, {"expr1", "÷", "expr2"}, {"expr1", "∕", "expr2"}}

{"Divide", "[", "expr1", ",", "expr2", "]"}

Times[expr1, Power[expr2, -1]]

{}

{"/", "÷", "∕"}

{}

Binary

Infix

Left

True

Backslash

=

Backslash

560

460

=

460

32

=

32

580

=

580

{{"expr1", "∖", "expr2"}}

{"Backslash", "[", "expr1", ",", "expr2", "]"}

Backslash[expr1, expr2]

{}

{"∖"}

{}

Binary

Infix

None

False

Diamond

=

Diamond

550

450

=

450

33

=

33

570

=

570

{{"expr1", "⋄", "expr2"}}

{"Diamond", "[", "expr1", ",", "expr2", "]"}

Diamond[expr1, expr2]

{}

{"⋄"}

{}

Binary

Infix

None

False

Wedge

=

Wedge

540

440

=

440

34

=

34

560

=

560

{{"expr1", "⋀", "expr2"}}

{"Wedge", "[", "expr1", ",", "expr2", "]"}

Wedge[expr1, expr2]

{}

{"⋀"}

{}

Binary

Infix

None

False

Vee

=

Vee

530

430

=

430

35

550

=

550

{{"x", "⋁", "y"}}

{"Vee", "[", "x", ",", "y", "]"}

Vee[x, y]

{}

{"⋁"}

{}

Binary

Infix

None

False

CircleTimes

=

CircleTimes

520

420

=

420

36

540

=

540

{{"expr1", "⊗", "expr2"}}

{"CircleTimes", "[", "expr1", ",", "expr2", "]"}

CircleTimes[expr1, expr2]

{}

{"⊗"}

{}

Binary

Infix

None

False

CenterDot

=

CenterDot

510

410

=

410

37

530

=

530

{{"x", "·", "y"}}

{"CenterDot", "[", "x", ",", "y", "]"}

CenterDot[x, y]

{}

{"·"}

{}

Binary

Infix

None

False

Times

=

Times

500

400

=

400

38

=

38

520

=

520

{{"expr1", "*", "expr2"}, {"expr1", "expr2"}, {"expr1", "×", "expr2"}, {"expr1", "⁢", "expr2"}}

{"Times", "[", "expr1", ",", "expr2", "]"}

Times[expr1, expr2]

{}

{"*", "×", "⁢"}

{}

Nullary

None

None

True

Operator Notations includes usages with invisible unicode characters.

Star

=

Star

490

390

=

390

39

=

39

510

=

510

{{"expr1", "⋆", "expr2"}}

{"Star", "[", "expr1", ",", "expr2", "]"}

Star[expr1, expr2]

{}

{"⋆"}

{}

Binary

Infix

None

False

Product

=

Product

480

380

=

380

40

=

40

500

=

500

{{"∏", "expr"}}

{"Product", "[", "expr", "]"}

{"∏"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

ContinuedFractionK

=

ContinuedFractionK

480

380

=

380

40

500

=

500

{{"", "expr"}}

{"ContinuedFractionK", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

VerticalTilde

=

VerticalTilde

470

370

=

370

41

=

41

490

=

490

{{"expr1", "≀", "expr2"}}

{"VerticalTilde", "[", "expr1", ",", "expr2", "]"}

VerticalTilde[expr1, expr2]

{}

{"≀"}

{}

Binary

Infix

None

False

Coproduct

=

Coproduct

460

360

=

360

42

=

42

500

=

500

{{"expr1", "∐", "expr2"}}

{"Coproduct", "[", "expr1", ",", "expr2", "]"}

Coproduct[expr1, expr2]

{}

{"∐"}

{}

Binary

Infix

None

False

Cap

=

Cap

450

350

=

350

43

≠

42.5

470

=

470

{{"expr1", "⌢", "expr2"}}

{"Cap", "[", "expr1", ",", "expr2", "]"}

Cap[expr1, expr2]

{}

{"⌢"}

{}

Binary

Infix

None

False

Cup

=

Cup

440

340

=

340

43

=

43

460

=

460

{{"expr1", "⌣", "expr2"}}

{"Cup", "[", "expr1", ",", "expr2", "]"}

Cup[expr1, expr2]

{}

{"⌣"}

{}

Binary

Infix

None

False

CircleMinus

=

CircleMinus

430

330

=

330

44

=

44

450

=

450

{{"expr1", "⊖", "expr2"}}

{"CircleMinus", "[", "expr1", ",", "expr2", "]"}

CircleMinus[expr1, expr2]

{}

{"⊖"}

{}

Binary

Infix

Left

False

CirclePlus

=

CirclePlus

430

330

=

330

44

=

44

450

=

450

{{"expr1", "⊕", "expr2"}}

{"CirclePlus", "[", "expr1", ",", "expr2", "]"}

CirclePlus[expr1, expr2]

{}

{"⊕"}

{}

Binary

Infix

None

False

Sum

=

Sum

420

320

≠

325

45

=

45

440

≠

445

{{"∑", "expr"}}

{"Sum", "[", "expr", "]"}

Sum[expr]

{"∑"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Integrate

≠

Integral

420

325

=

325

23

≠

45

455

≠

445

{{"∫", "expr1", "", "expr2"}}

{"Integrate", "[", "expr1", ",", "expr2", "]"}

Integrate[expr1, expr2]

{"∫"}

{}

{""}

Binary

Prefix

Right

True

ClockwiseContourIntegral

=

ClockwiseContourIntegral

420

670

325

45

455

≠

445

{{"∲", "expr1", "", "expr2"}}

{"ClockwiseContourIntegral", "[", "expr1", ",", "expr2", "]"}

Integrate[expr1, expr2]

{"∲"}

{}

{""}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

ContourIntegral

=

ContourIntegral

420

670

325

45

455

≠

445

{{"∮", "expr1", "", "expr2"}}

{"ContourIntegral", "[", "expr1", ",", "expr2", "]"}

Integrate[expr1, expr2]

{"∮"}

{}

{""}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

CounterClockwiseContourIntegral

=

CounterClockwiseContourIntegral

420

670

325

45

455

≠

445

{{"∳", "expr1", "", "expr2"}}

{"CounterClockwiseContourIntegral", "[", "expr1", ",", "expr2", "]"}

Integrate[expr1, expr2]

{"∳"}

{}

{""}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

DoubleContourIntegral

=

DoubleContourIntegral

420

670

325

45

455

≠

445

{{"∯", "expr1", "", "expr2"}}

{"DoubleContourIntegral", "[", "expr1", ",", "expr2", "]"}

Integrate[expr1, expr2]

{"∯"}

{}

{""}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

ExpectationE

=

ExpectationE

420

325

=

325

45

455

≠

445

{{"", "expr"}}

{"ExpectationE", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

ProbabilityPr

=

ProbabilityPr

420

325

=

325

45

455

≠

445

{{"", "expr"}}

{"ProbabilityPr", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Limit

=

Limit

410

320

=

320

45.5

440

=

440

{{"", "expr"}}

{"Limit", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

MaxLimit

=

MaxLimit

410

320

=

320

45.5

440

=

440

{{"", "expr"}}

{"MaxLimit", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

MinLimit

=

MinLimit

410

320

=

320

45.5

440

=

440

{{"", "expr"}}

{"MinLimit", "[", "expr", "]"}

{""}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

MinusPlus

=

MinusPlus

400

310

=

310

46

=

46

430

=

430

{{"expr1", "∓", "expr2"}}

{"MinusPlus", "[", "expr1", ",", "expr2", "]"}

MinusPlus[expr1, expr2]

{}

{"∓"}

{}

Binary

Infix

Left

False

Plus

=

Plus

400

310

=

310

46

=

46

430

{{"expr1", "+", "expr2"}, {"expr1", "", "expr2"}}

{"Plus", "[", "expr1", ",", "expr2", "]"}

Plus[expr1, expr2]

{}

{"+", ""}

{}

Binary

Infix

None

True

Operator Notations includes usages with invisible unicode characters.

PlusMinus

=

PlusMinus

400

310

=

310

46

=

46

430

=

430

{{"expr1", "±", "expr2"}}

{"PlusMinus", "[", "expr1", ",", "expr2", "]"}

PlusMinus[expr1, expr2]

{}

{"±"}

{}

Binary

Infix

Left

False

Subtract

=

Subtract

400

310

=

310

46

=

46

430

=

430

{{"expr1", "-", "expr2"}, {"expr1", "−", "expr2"}}

{"Subtract", "[", "expr1", ",", "expr2", "]"}

Plus[expr1, Times[-1, expr2]]

{}

{"-", "−"}

{}

Binary

Infix

Left

True

Operator Notations includes usages with invisible unicode characters.

Intersection

=

Intersection

390

305

=

305

47

=

47

420

=

420

{{"expr1", "⋂", "expr2"}}

{"Intersection", "[", "expr1", ",", "expr2", "]"}

Intersection[expr1, expr2]

{}

{"⋂"}

{}

Binary

Infix

None

True

Span

=

Span

390

305

=

305

49

≠

47

420

{{"i", ";;", "j", ";;", "k"}}

{"Span", "[", "i", ",", "j", ",", "k", "]"}

Span[i, j, k]

{";;"}

{";;"}

{";;"}

Ternary

Infix

Non

True

SquareIntersection

=

SquareIntersection

390

305

=

305

47

420

=

420

{{"x", "⊓", "y"}}

{"SquareIntersection", "[", "x", ",", "y", "]"}

SquareIntersection[x, y]

{}

{"⊓"}

{}

Binary

Infix

None

False

SquareUnion

=

SquareUnion

380

300

=

300

48

410

=

410

{{"x", "⊔", "y"}}

{"SquareUnion", "[", "x", ",", "y", "]"}

SquareUnion[x, y]

{}

{"⊔"}

{}

Binary

Infix

None

False

Union

=

Union

380

300

=

300

48

=

48

410

=

410

{{"expr1", "⋃", "expr2"}}

{"Union", "[", "expr1", ",", "expr2", "]"}

Union[expr1, expr2]

{}

{"⋃"}

{}

Binary

Infix

None

True

UnionPlus

=

UnionPlus

380

300

=

300

48

410

=

410

{{"x", "⊎", "y"}}

{"UnionPlus", "[", "x", ",", "y", "]"}

UnionPlus[x, y]

{}

{"⊎"}

{}

Binary

Infix

None

False

DirectedEdge

=

DirectedEdge

370

295

=

295

49.0

395

=

395

{{"expr1", "", "expr2"}}

{"DirectedEdge", "[", "expr1", ",", "expr2", "]"}

DirectedEdge[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

UndirectedEdge

=

UndirectedEdge

370

295

=

295

49.0

395

=

395

{{"expr1", "", "expr2"}}

{"UndirectedEdge", "[", "expr1", ",", "expr2", "]"}

UndirectedEdge[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

Congruent

=

Congruent

360

290

=

290

50.0

390

=

390

{{"x", "≡", "y"}}

{"Congruent", "[", "x", ",", "y", "]"}

Congruent[x, y]

{}

{"≡"}

{}

Binary

Infix

None

False

CupCap

=

CupCap

360

290

=

290

50.0

390

=

390

{{"x", "≍", "y"}}

{"CupCap", "[", "x", ",", "y", "]"}

CupCap[x, y]

{}

{"≍"}

{}

Binary

Infix

None

False

DotEqual

=

DotEqual

360

290

=

290

50.0

390

=

390

{{"x", "≐", "y"}}

{"DotEqual", "[", "x", ",", "y", "]"}

DotEqual[x, y]

{}

{"≐"}

{}

Binary

Infix

None

False

Equal

=

Equal

360

290

=

290

50

=

50.0

390

=

390

{{"expr1", "==", "expr2"}, {"expr1", "", "expr2"}, {"expr1", "", "expr2"}}

{"Equal", "[", "expr1", ",", "expr2", "]"}

Equal[expr1, expr2]

{}

{"==", "", ""}

{}

Binary

Infix

None

True

EqualTilde

=

EqualTilde

360

290

=

290

50.0

390

=

390

{{"x", "≂", "y"}}

{"EqualTilde", "[", "x", ",", "y", "]"}

EqualTilde[x, y]

{}

{"≂"}

{}

Binary

Infix

None

False

Equilibrium

=

Equilibrium

360

290

=

290

50.0

390

=

390

{{"x", "⇌", "y"}}

{"Equilibrium", "[", "x", ",", "y", "]"}

Equilibrium[x, y]

{}

{"⇌"}

{}

Binary

Infix

None

False

Greater

=

Greater

360

290

=

290

50

=

50.0

390

{{"expr1", ">", "expr2"}}

{"Greater", "[", "expr1", ",", "expr2", "]"}

Greater[expr1, expr2]

{}

{">"}

{}

Binary

Infix

None

True

GreaterEqual

=

GreaterEqual

360

290

=

290

50

=

50.0

390

=

390

{{"expr1", ">=", "expr2"}, {"expr1", "≥", "expr2"}}

{"GreaterEqual", "[", "expr1", ",", "expr2", "]"}

GreaterEqual[expr1, expr2]

{}

{">=", "≥"}

{}

Binary

Infix

None

True

GreaterEqualLess

=

GreaterEqualLess

360

290

=

290

50.0

390

=

390

{{"x", "⋛", "y"}}

{"GreaterEqualLess", "[", "x", ",", "y", "]"}

GreaterEqualLess[x, y]

{}

{"⋛"}

{}

Binary

Infix

None

False

GreaterFullEqual

=

GreaterFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≧", "y"}}

{"GreaterFullEqual", "[", "x", ",", "y", "]"}

GreaterFullEqual[x, y]

{}

{"≧"}

{}

Binary

Infix

None

False

GreaterGreater

=

GreaterGreater

360

290

=

290

50.0

390

=

390

{{"x", "≫", "y"}}

{"GreaterGreater", "[", "x", ",", "y", "]"}

GreaterGreater[x, y]

{}

{"≫"}

{}

Binary

Infix

None

False

GreaterLess

=

GreaterLess

360

290

=

290

50.0

390

=

390

{{"x", "≷", "y"}}

{"GreaterLess", "[", "x", ",", "y", "]"}

GreaterLess[x, y]

{}

{"≷"}

{}

Binary

Infix

None

False

GreaterSlantEqual

=

GreaterSlantEqual

360

670

290

50.0

390

=

390

{{"x", "⩾", "y"}}

{"GreaterEqual", "[", "x", ",", "y", "]"}

GreaterEqual[x, y]

{}

{"⩾"}

{}

Binary

Infix

None

False

GreaterTilde

=

GreaterTilde

360

290

=

290

50.0

390

=

390

{{"x", "≳", "y"}}

{"GreaterTilde", "[", "x", ",", "y", "]"}

GreaterTilde[x, y]

{}

{"≳"}

{}

Binary

Infix

None

False

HumpDownHump

=

HumpDownHump

360

290

=

290

50.0

390

=

390

{{"x", "≎", "y"}}

{"HumpDownHump", "[", "x", ",", "y", "]"}

HumpDownHump[x, y]

{}

{"≎"}

{}

Binary

Infix

None

False

HumpEqual

=

HumpEqual

360

290

=

290

50.0

390

=

390

{{"x", "≏", "y"}}

{"HumpEqual", "[", "x", ",", "y", "]"}

HumpEqual[x, y]

{}

{"≏"}

{}

Binary

Infix

None

False

LeftTriangle

=

LeftTriangle

360

290

=

290

50.0

390

=

390

{{"x", "⊲", "y"}}

{"LeftTriangle", "[", "x", ",", "y", "]"}

LeftTriangle[x, y]

{}

{"⊲"}

{}

Binary

Infix

None

False

LeftTriangleBar

=

LeftTriangleBar

360

290

=

290

50.0

390

=

390

{{"x", "⧏", "y"}}

{"LeftTriangleBar", "[", "x", ",", "y", "]"}

LeftTriangleBar[x, y]

{}

{"⧏"}

{}

Binary

Infix

None

False

LeftTriangleEqual

=

LeftTriangleEqual

360

290

=

290

50.0

390

=

390

{{"x", "⊴", "y"}}

{"LeftTriangleEqual", "[", "x", ",", "y", "]"}

LeftTriangleEqual[x, y]

{}

{"⊴"}

{}

Binary

Infix

None

False

Less

=

Less

360

290

=

290

50

=

50.0

390

{{"expr1", "<", "expr2"}}

{"Less", "[", "expr1", ",", "expr2", "]"}

Less[expr1, expr2]

{}

{"<"}

{}

Binary

Infix

None

True

LessEqual

=

LessEqual

360

290

=

290

50

=

50.0

390

=

390

{{"expr1", "<=", "expr2"}, {"expr1", "≤", "expr2"}}

{"LessEqual", "[", "expr1", ",", "expr2", "]"}

LessEqual[expr1, expr2]

{}

{"<=", "≤"}

{}

Binary

Infix

None

True

LessEqualGreater

=

LessEqualGreater

360

290

=

290

50.0

390

=

390

{{"x", "⋚", "y"}}

{"LessEqualGreater", "[", "x", ",", "y", "]"}

LessEqualGreater[x, y]

{}

{"⋚"}

{}

Binary

Infix

None

False

LessFullEqual

=

LessFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≦", "y"}}

{"LessFullEqual", "[", "x", ",", "y", "]"}

LessFullEqual[x, y]

{}

{"≦"}

{}

Binary

Infix

None

False

LessGreater

=

LessGreater

360

290

=

290

50.0

390

=

390

{{"x", "≶", "y"}}

{"LessGreater", "[", "x", ",", "y", "]"}

LessGreater[x, y]

{}

{"≶"}

{}

Binary

Infix

None

False

LessLess

=

LessLess

360

290

=

290

50.0

390

=

390

{{"x", "≪", "y"}}

{"LessLess", "[", "x", ",", "y", "]"}

LessLess[x, y]

{}

{"≪"}

{}

Binary

Infix

None

False

LessSlantEqual

=

LessSlantEqual

360

670

290

50.0

390

=

390

{{"x", "⩽", "y"}}

{"LessEqual", "[", "x", ",", "y", "]"}

LessEqual[x, y]

{}

{"⩽"}

{}

Binary

Infix

None

False

LessTilde

=

LessTilde

360

290

=

290

50.0

390

=

390

{{"x", "≲", "y"}}

{"LessTilde", "[", "x", ",", "y", "]"}

LessTilde[x, y]

{}

{"≲"}

{}

Binary

Infix

None

False

NestedGreaterGreater

=

NestedGreaterGreater

360

290

=

290

50.0

390

=

390

{{"x", "⪢", "y"}}

{"NestedGreaterGreater", "[", "x", ",", "y", "]"}

NestedGreaterGreater[x, y]

{}

{"⪢"}

{}

Binary

Infix

None

False

NestedLessLess

=

NestedLessLess

360

290

=

290

50.0

390

=

390

{{"x", "⪡", "y"}}

{"NestedLessLess", "[", "x", ",", "y", "]"}

NestedLessLess[x, y]

{}

{"⪡"}

{}

Binary

Infix

None

False

NotCongruent

=

NotCongruent

360

290

=

290

50.0

390

=

390

{{"x", "≢", "y"}}

{"NotCongruent", "[", "x", ",", "y", "]"}

NotCongruent[x, y]

{}

{"≢"}

{}

Binary

Infix

None

False

NotCupCap

=

NotCupCap

360

290

=

290

50.0

390

=

390

{{"x", "≭", "y"}}

{"NotCupCap", "[", "x", ",", "y", "]"}

NotCupCap[x, y]

{}

{"≭"}

{}

Binary

Infix

None

False

NotEqualTilde

=

NotEqualTilde

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotEqualTilde", "[", "x", ",", "y", "]"}

NotEqualTilde[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotGreater

=

NotGreater

360

290

=

290

50.0

390

=

390

{{"x", "≯", "y"}}

{"NotGreater", "[", "x", ",", "y", "]"}

NotGreater[x, y]

{}

{"≯"}

{}

Binary

Infix

None

False

NotGreaterEqual

=

NotGreaterEqual

360

290

=

290

50.0

390

=

390

{{"x", "≱", "y"}}

{"NotGreaterEqual", "[", "x", ",", "y", "]"}

NotGreaterEqual[x, y]

{}

{"≱"}

{}

Binary

Infix

None

False

NotGreaterFullEqual

=

NotGreaterFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≩", "y"}}

{"NotGreaterFullEqual", "[", "x", ",", "y", "]"}

NotGreaterFullEqual[x, y]

{}

{"≩"}

{}

Binary

Infix

None

False

NotGreaterGreater

=

NotGreaterGreater

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotGreaterGreater", "[", "x", ",", "y", "]"}

NotGreaterGreater[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotGreaterLess

=

NotGreaterLess

360

290

=

290

50.0

390

=

390

{{"x", "≹", "y"}}

{"NotGreaterLess", "[", "x", ",", "y", "]"}

NotGreaterLess[x, y]

{}

{"≹"}

{}

Binary

Infix

None

False

NotGreaterSlantEqual

=

NotGreaterSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotGreaterSlantEqual", "[", "x", ",", "y", "]"}

NotGreaterSlantEqual[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotGreaterTilde

=

NotGreaterTilde

360

290

=

290

50.0

390

=

390

{{"x", "≵", "y"}}

{"NotGreaterTilde", "[", "x", ",", "y", "]"}

NotGreaterTilde[x, y]

{}

{"≵"}

{}

Binary

Infix

None

False

NotHumpDownHump

=

NotHumpDownHump

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotHumpDownHump", "[", "x", ",", "y", "]"}

NotHumpDownHump[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotHumpEqual

=

NotHumpEqual

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotHumpEqual", "[", "x", ",", "y", "]"}

NotHumpEqual[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotLeftTriangle

=

NotLeftTriangle

360

290

=

290

50.0

390

=

390

{{"x", "⋪", "y"}}

{"NotLeftTriangle", "[", "x", ",", "y", "]"}

NotLeftTriangle[x, y]

{}

{"⋪"}

{}

Binary

Infix

None

False

NotLeftTriangleBar

=

NotLeftTriangleBar

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotLeftTriangleBar", "[", "x", ",", "y", "]"}

NotLeftTriangleBar[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotLeftTriangleEqual

=

NotLeftTriangleEqual

360

290

=

290

50.0

390

=

390

{{"x", "⋬", "y"}}

{"NotLeftTriangleEqual", "[", "x", ",", "y", "]"}

NotLeftTriangleEqual[x, y]

{}

{"⋬"}

{}

Binary

Infix

None

False

NotLess

=

NotLess

360

290

=

290

50.0

390

=

390

{{"x", "≮", "y"}}

{"NotLess", "[", "x", ",", "y", "]"}

NotLess[x, y]

{}

{"≮"}

{}

Binary

Infix

None

False

NotLessEqual

=

NotLessEqual

360

290

=

290

50.0

390

=

390

{{"x", "≰", "y"}}

{"NotLessEqual", "[", "x", ",", "y", "]"}

NotLessEqual[x, y]

{}

{"≰"}

{}

Binary

Infix

None

False

NotLessFullEqual

=

NotLessFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≨", "y"}}

{"NotLessFullEqual", "[", "x", ",", "y", "]"}

NotLessFullEqual[x, y]

{}

{"≨"}

{}

Binary

Infix

None

False

NotLessGreater

=

NotLessGreater

360

290

=

290

50.0

390

=

390

{{"x", "≸", "y"}}

{"NotLessGreater", "[", "x", ",", "y", "]"}

NotLessGreater[x, y]

{}

{"≸"}

{}

Binary

Infix

None

False

NotLessLess

=

NotLessLess

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotLessLess", "[", "x", ",", "y", "]"}

NotLessLess[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotLessSlantEqual

=

NotLessSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotLessSlantEqual", "[", "x", ",", "y", "]"}

NotLessSlantEqual[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotLessTilde

=

NotLessTilde

360

290

=

290

50.0

390

=

390

{{"x", "≴", "y"}}

{"NotLessTilde", "[", "x", ",", "y", "]"}

NotLessTilde[x, y]

{}

{"≴"}

{}

Binary

Infix

None

False

NotNestedGreaterGreater

=

NotNestedGreaterGreater

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotNestedGreaterGreater", "[", "x", ",", "y", "]"}

NotNestedGreaterGreater[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotNestedLessLess

=

NotNestedLessLess

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotNestedLessLess", "[", "x", ",", "y", "]"}

NotNestedLessLess[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotPrecedes

=

NotPrecedes

360

290

=

290

50.0

390

=

390

{{"x", "⊀", "y"}}

{"NotPrecedes", "[", "x", ",", "y", "]"}

NotPrecedes[x, y]

{}

{"⊀"}

{}

Binary

Infix

None

False

NotPrecedesEqual

=

NotPrecedesEqual

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotPrecedesEqual", "[", "x", ",", "y", "]"}

NotPrecedesEqual[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotPrecedesSlantEqual

=

NotPrecedesSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "⋠", "y"}}

{"NotPrecedesSlantEqual", "[", "x", ",", "y", "]"}

NotPrecedesSlantEqual[x, y]

{}

{"⋠"}

{}

Binary

Infix

None

False

NotPrecedesTilde

=

NotPrecedesTilde

360

290

=

290

50.0

390

=

390

{{"x", "⋨", "y"}}

{"NotPrecedesTilde", "[", "x", ",", "y", "]"}

NotPrecedesTilde[x, y]

{}

{"⋨"}

{}

Binary

Infix

None

False

NotRightTriangle

=

NotRightTriangle

360

290

=

290

50.0

390

=

390

{{"x", "⋫", "y"}}

{"NotRightTriangle", "[", "x", ",", "y", "]"}

NotRightTriangle[x, y]

{}

{"⋫"}

{}

Binary

Infix

None

False

NotRightTriangleBar

=

NotRightTriangleBar

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotRightTriangleBar", "[", "x", ",", "y", "]"}

NotRightTriangleBar[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotRightTriangleEqual

=

NotRightTriangleEqual

360

290

=

290

50.0

390

=

390

{{"x", "⋭", "y"}}

{"NotRightTriangleEqual", "[", "x", ",", "y", "]"}

NotRightTriangleEqual[x, y]

{}

{"⋭"}

{}

Binary

Infix

None

False

NotSucceeds

=

NotSucceeds

360

290

=

290

50.0

390

=

390

{{"x", "⊁", "y"}}

{"NotSucceeds", "[", "x", ",", "y", "]"}

NotSucceeds[x, y]

{}

{"⊁"}

{}

Binary

Infix

None

False

NotSucceedsEqual

=

NotSucceedsEqual

360

290

=

290

50.0

390

=

390

{{"x", "", "y"}}

{"NotSucceedsEqual", "[", "x", ",", "y", "]"}

NotSucceedsEqual[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotSucceedsSlantEqual

=

NotSucceedsSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "⋡", "y"}}

{"NotSucceedsSlantEqual", "[", "x", ",", "y", "]"}

NotSucceedsSlantEqual[x, y]

{}

{"⋡"}

{}

Binary

Infix

None

False

NotSucceedsTilde

=

NotSucceedsTilde

360

290

=

290

50.0

390

=

390

{{"x", "⋩", "y"}}

{"NotSucceedsTilde", "[", "x", ",", "y", "]"}

NotSucceedsTilde[x, y]

{}

{"⋩"}

{}

Binary

Infix

None

False

NotTilde

=

NotTilde

360

290

=

290

50.0

390

=

390

{{"x", "≁", "y"}}

{"NotTilde", "[", "x", ",", "y", "]"}

NotTilde[x, y]

{}

{"≁"}

{}

Binary

Infix

None

False

NotTildeEqual

=

NotTildeEqual

360

290

=

290

50.0

390

=

390

{{"x", "≄", "y"}}

{"NotTildeEqual", "[", "x", ",", "y", "]"}

NotTildeEqual[x, y]

{}

{"≄"}

{}

Binary

Infix

None

False

NotTildeFullEqual

=

NotTildeFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≇", "y"}}

{"NotTildeFullEqual", "[", "x", ",", "y", "]"}

NotTildeFullEqual[x, y]

{}

{"≇"}

{}

Binary

Infix

None

False

NotTildeTilde

=

NotTildeTilde

360

290

=

290

50.0

390

=

390

{{"x", "≉", "y"}}

{"NotTildeTilde", "[", "x", ",", "y", "]"}

NotTildeTilde[x, y]

{}

{"≉"}

{}

Binary

Infix

None

False

Precedes

=

Precedes

360

290

=

290

50.0

390

=

390

{{"x", "≺", "y"}}

{"Precedes", "[", "x", ",", "y", "]"}

Precedes[x, y]

{}

{"≺"}

{}

Binary

Infix

None

False

PrecedesEqual

=

PrecedesEqual

360

290

=

290

50.0

390

=

390

{{"x", "⪯", "y"}}

{"PrecedesEqual", "[", "x", ",", "y", "]"}

PrecedesEqual[x, y]

{}

{"⪯"}

{}

Binary

Infix

None

False

PrecedesSlantEqual

=

PrecedesSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "≼", "y"}}

{"PrecedesSlantEqual", "[", "x", ",", "y", "]"}

PrecedesSlantEqual[x, y]

{}

{"≼"}

{}

Binary

Infix

None

False

PrecedesTilde

=

PrecedesTilde

360

290

=

290

50.0

390

=

390

{{"x", "≾", "y"}}

{"PrecedesTilde", "[", "x", ",", "y", "]"}

PrecedesTilde[x, y]

{}

{"≾"}

{}

Binary

Infix

None

False

Proportion

=

Proportion

360

290

=

290

50.0

390

=

390

{{"x", "∷", "y"}}

{"Proportion", "[", "x", ",", "y", "]"}

Proportion[x, y]

{}

{"∷"}

{}

Binary

Infix

None

False

Proportional

=

Proportional

360

290

=

290

50.0

390

=

390

{{"x", "∝", "y"}}

{"Proportional", "[", "x", ",", "y", "]"}

Proportional[x, y]

{}

{"∝"}

{}

Binary

Infix

None

False

ReverseEquilibrium

=

ReverseEquilibrium

360

290

=

290

50.0

390

=

390

{{"x", "⇋", "y"}}

{"ReverseEquilibrium", "[", "x", ",", "y", "]"}

ReverseEquilibrium[x, y]

{}

{"⇋"}

{}

Binary

Infix

None

False

RightTriangle

=

RightTriangle

360

290

=

290

50.0

390

=

390

{{"x", "⊳", "y"}}

{"RightTriangle", "[", "x", ",", "y", "]"}

RightTriangle[x, y]

{}

{"⊳"}

{}

Binary

Infix

None

False

RightTriangleBar

=

RightTriangleBar

360

290

=

290

50.0

390

=

390

{{"x", "⧐", "y"}}

{"RightTriangleBar", "[", "x", ",", "y", "]"}

RightTriangleBar[x, y]

{}

{"⧐"}

{}

Binary

Infix

None

False

RightTriangleEqual

=

RightTriangleEqual

360

290

=

290

50.0

390

=

390

{{"x", "⊵", "y"}}

{"RightTriangleEqual", "[", "x", ",", "y", "]"}

RightTriangleEqual[x, y]

{}

{"⊵"}

{}

Binary

Infix

None

False

Succeeds

=

Succeeds

360

290

=

290

50.0

390

=

390

{{"x", "≻", "y"}}

{"Succeeds", "[", "x", ",", "y", "]"}

Succeeds[x, y]

{}

{"≻"}

{}

Binary

Infix

None

False

SucceedsEqual

=

SucceedsEqual

360

290

=

290

50.0

390

=

390

{{"x", "⪰", "y"}}

{"SucceedsEqual", "[", "x", ",", "y", "]"}

SucceedsEqual[x, y]

{}

{"⪰"}

{}

Binary

Infix

None

False

SucceedsSlantEqual

=

SucceedsSlantEqual

360

290

=

290

50.0

390

=

390

{{"x", "≽", "y"}}

{"SucceedsSlantEqual", "[", "x", ",", "y", "]"}

SucceedsSlantEqual[x, y]

{}

{"≽"}

{}

Binary

Infix

None

False

SucceedsTilde

=

SucceedsTilde

360

290

=

290

50.0

390

=

390

{{"x", "≿", "y"}}

{"SucceedsTilde", "[", "x", ",", "y", "]"}

SucceedsTilde[x, y]

{}

{"≿"}

{}

Binary

Infix

None

False

Tilde

=

Tilde

360

290

=

290

50.0

390

=

390

{{"x", "∼", "y"}}

{"Tilde", "[", "x", ",", "y", "]"}

Tilde[x, y]

{}

{"∼"}

{}

Binary

Infix

None

False

TildeEqual

=

TildeEqual

360

290

=

290

50.0

390

=

390

{{"x", "≃", "y"}}

{"TildeEqual", "[", "x", ",", "y", "]"}

TildeEqual[x, y]

{}

{"≃"}

{}

Binary

Infix

None

False

TildeFullEqual

=

TildeFullEqual

360

290

=

290

50.0

390

=

390

{{"x", "≅", "y"}}

{"TildeFullEqual", "[", "x", ",", "y", "]"}

TildeFullEqual[x, y]

{}

{"≅"}

{}

Binary

Infix

None

False

TildeTilde

=

TildeTilde

360

290

=

290

50.0

390

=

390

{{"x", "≈", "y"}}

{"TildeTilde", "[", "x", ",", "y", "]"}

TildeTilde[x, y]

{}

{"≈"}

{}

Binary

Infix

None

False

Unequal

=

Unequal

360

290

=

290

50

=

50.0

390

=

390

{{"expr1", "!=", "expr2"}, {"expr1", "≠", "expr2"}}

{"Unequal", "[", "expr1", ",", "expr2", "]"}

Unequal[expr1, expr2]

{}

{"!=", "≠"}

{}

Binary

Infix

None

True

DoubleVerticalBar

=

DoubleVerticalBar

350

280

=

280

50

≠

50.5

390

≠

385

{{"expr1", "∥", "expr2"}}

{"DoubleVerticalBar", "[", "expr1", ",", "expr2", "]"}

DoubleVerticalBar[expr1, expr2]

{}

{"∥"}

{}

Binary

Infix

None

False

NotDoubleVerticalBar

=

NotDoubleVerticalBar

350

280

=

280

50

≠

50.5

390

≠

385

{{"expr1", "∦", "expr2"}}

{"NotDoubleVerticalBar", "[", "expr1", ",", "expr2", "]"}

NotDoubleVerticalBar[expr1, expr2]

{}

{"∦"}

{}

Binary

Infix

None

False

NotVerticalBar

=

NotVerticalBar

350

280

=

280

50

≠

50.5

390

≠

385

{{"expr1", "", "expr2"}}

{"NotVerticalBar", "[", "expr1", ",", "expr2", "]"}

NotVerticalBar[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

False

VerticalBar

=

VerticalBar

350

280

=

280

50

≠

50.5

390

≠

385

{{"expr1", "", "expr2"}}

{"VerticalBar", "[", "expr1", ",", "expr2", "]"}

VerticalBar[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

False

DoubleLeftArrow

=

DoubleLeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "⇐", "y"}}

{"DoubleLeftArrow", "[", "x", ",", "y", "]"}

DoubleLeftArrow[x, y]

{}

{"⇐"}

{}

Binary

Infix

None

False

DoubleLeftRightArrow

=

DoubleLeftRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "⇔", "y"}}

{"DoubleLeftRightArrow", "[", "x", ",", "y", "]"}

DoubleLeftRightArrow[x, y]

{}

{"⇔"}

{}

Binary

Infix

None

False

DoubleRightArrow

=

DoubleRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "⇒", "y"}}

{"DoubleRightArrow", "[", "x", ",", "y", "]"}

DoubleRightArrow[x, y]

{}

{"⇒"}

{}

Binary

Infix

None

False

DownLeftRightVector

=

DownLeftRightVector

340

270

=

270

50.6

380

=

380

{{"x", "⥐", "y"}}

{"DownLeftRightVector", "[", "x", ",", "y", "]"}

DownLeftRightVector[x, y]

{}

{"⥐"}

{}

Binary

Infix

None

False

DownLeftTeeVector

=

DownLeftTeeVector

340

270

=

270

50.6

380

=

380

{{"x", "⥞", "y"}}

{"DownLeftTeeVector", "[", "x", ",", "y", "]"}

DownLeftTeeVector[x, y]

{}

{"⥞"}

{}

Binary

Infix

None

False

DownLeftVector

=

DownLeftVector

340

270

=

270

50.6

380

=

380

{{"x", "↽", "y"}}

{"DownLeftVector", "[", "x", ",", "y", "]"}

DownLeftVector[x, y]

{}

{"↽"}

{}

Binary

Infix

None

False

DownLeftVectorBar

=

DownLeftVectorBar

340

270

=

270

50.6

380

=

380

{{"x", "⥖", "y"}}

{"DownLeftVectorBar", "[", "x", ",", "y", "]"}

DownLeftVectorBar[x, y]

{}

{"⥖"}

{}

Binary

Infix

None

False

DownRightTeeVector

=

DownRightTeeVector

340

270

=

270

50.6

380

=

380

{{"x", "⥟", "y"}}

{"DownRightTeeVector", "[", "x", ",", "y", "]"}

DownRightTeeVector[x, y]

{}

{"⥟"}

{}

Binary

Infix

None

False

DownRightVector

=

DownRightVector

340

270

=

270

50.6

380

=

380

{{"x", "⇁", "y"}}

{"DownRightVector", "[", "x", ",", "y", "]"}

DownRightVector[x, y]

{}

{"⇁"}

{}

Binary

Infix

None

False

DownRightVectorBar

=

DownRightVectorBar

340

270

=

270

50.6

380

=

380

{{"x", "⥗", "y"}}

{"DownRightVectorBar", "[", "x", ",", "y", "]"}

DownRightVectorBar[x, y]

{}

{"⥗"}

{}

Binary

Infix

None

False

LeftArrow

=

LeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "←", "y"}}

{"LeftArrow", "[", "x", ",", "y", "]"}

LeftArrow[x, y]

{}

{"←"}

{}

Binary

Infix

None

False

LeftArrowBar

=

LeftArrowBar

340

270

=

270

50.6

380

=

380

{{"x", "⇤", "y"}}

{"LeftArrowBar", "[", "x", ",", "y", "]"}

LeftArrowBar[x, y]

{}

{"⇤"}

{}

Binary

Infix

None

False

LeftArrowRightArrow

=

LeftArrowRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "⇆", "y"}}

{"LeftArrowRightArrow", "[", "x", ",", "y", "]"}

LeftArrowRightArrow[x, y]

{}

{"⇆"}

{}

Binary

Infix

None

False

LeftRightArrow

=

LeftRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "↔", "y"}}

{"LeftRightArrow", "[", "x", ",", "y", "]"}

LeftRightArrow[x, y]

{}

{"↔"}

{}

Binary

Infix

None

False

LeftRightVector

=

LeftRightVector

340

270

=

270

50.6

380

=

380

{{"x", "⥎", "y"}}

{"LeftRightVector", "[", "x", ",", "y", "]"}

LeftRightVector[x, y]

{}

{"⥎"}

{}

Binary

Infix

None

False

LeftTeeArrow

=

LeftTeeArrow

340

270

=

270

50.6

380

=

380

{{"x", "↤", "y"}}

{"LeftTeeArrow", "[", "x", ",", "y", "]"}

LeftTeeArrow[x, y]

{}

{"↤"}

{}

Binary

Infix

None

False

LeftTeeVector

=

LeftTeeVector

340

270

=

270

50.6

380

=

380

{{"x", "⥚", "y"}}

{"LeftTeeVector", "[", "x", ",", "y", "]"}

LeftTeeVector[x, y]

{}

{"⥚"}

{}

Binary

Infix

None

False

LeftVector

=

LeftVector

340

270

=

270

50.6

380

=

380

{{"x", "↼", "y"}}

{"LeftVector", "[", "x", ",", "y", "]"}

LeftVector[x, y]

{}

{"↼"}

{}

Binary

Infix

None

False

LeftVectorBar

=

LeftVectorBar

340

270

=

270

50.6

380

=

380

{{"x", "⥒", "y"}}

{"LeftVectorBar", "[", "x", ",", "y", "]"}

LeftVectorBar[x, y]

{}

{"⥒"}

{}

Binary

Infix

None

False

LowerLeftArrow

=

LowerLeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "↙", "y"}}

{"LowerLeftArrow", "[", "x", ",", "y", "]"}

LowerLeftArrow[x, y]

{}

{"↙"}

{}

Binary

Infix

None

False

LowerRightArrow

=

LowerRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "↘", "y"}}

{"LowerRightArrow", "[", "x", ",", "y", "]"}

LowerRightArrow[x, y]

{}

{"↘"}

{}

Binary

Infix

None

False

RightArrow

=

RightArrow

340

270

=

270

50.6

380

=

380

{{"x", "→", "y"}}

{"RightArrow", "[", "x", ",", "y", "]"}

RightArrow[x, y]

{}

{"→"}

{}

Binary

Infix

None

False

RightArrowBar

=

RightArrowBar

340

270

=

270

50.6

380

=

380

{{"x", "⇥", "y"}}

{"RightArrowBar", "[", "x", ",", "y", "]"}

RightArrowBar[x, y]

{}

{"⇥"}

{}

Binary

Infix

None

False

RightArrowLeftArrow

=

RightArrowLeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "⇄", "y"}}

{"RightArrowLeftArrow", "[", "x", ",", "y", "]"}

RightArrowLeftArrow[x, y]

{}

{"⇄"}

{}

Binary

Infix

None

False

RightTeeArrow

=

RightTeeArrow

340

270

=

270

50.6

380

=

380

{{"x", "↦", "y"}}

{"RightTeeArrow", "[", "x", ",", "y", "]"}

RightTeeArrow[x, y]

{}

{"↦"}

{}

Binary

Infix

None

False

RightTeeVector

=

RightTeeVector

340

270

=

270

50.6

380

=

380

{{"x", "⥛", "y"}}

{"RightTeeVector", "[", "x", ",", "y", "]"}

RightTeeVector[x, y]

{}

{"⥛"}

{}

Binary

Infix

None

False

RightVector

=

RightVector

340

270

=

270

50.6

380

=

380

{{"x", "⇀", "y"}}

{"RightVector", "[", "x", ",", "y", "]"}

RightVector[x, y]

{}

{"⇀"}

{}

Binary

Infix

None

False

RightVectorBar

=

RightVectorBar

340

270

=

270

50.6

380

=

380

{{"x", "⥓", "y"}}

{"RightVectorBar", "[", "x", ",", "y", "]"}

RightVectorBar[x, y]

{}

{"⥓"}

{}

Binary

Infix

None

False

ShortLeftArrow

=

ShortLeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "", "y"}}

{"ShortLeftArrow", "[", "x", ",", "y", "]"}

ShortLeftArrow[x, y]

{}

{""}

{}

Binary

Infix

None

False

ShortRightArrow

=

ShortRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "", "y"}}

{"ShortRightArrow", "[", "x", ",", "y", "]"}

ShortRightArrow[x, y]

{}

{""}

{}

Binary

Infix

None

False

UpperLeftArrow

=

UpperLeftArrow

340

270

=

270

50.6

380

=

380

{{"x", "↖", "y"}}

{"UpperLeftArrow", "[", "x", ",", "y", "]"}

UpperLeftArrow[x, y]

{}

{"↖"}

{}

Binary

Infix

None

False

UpperRightArrow

=

UpperRightArrow

340

270

=

270

50.6

380

=

380

{{"x", "↗", "y"}}

{"UpperRightArrow", "[", "x", ",", "y", "]"}

UpperRightArrow[x, y]

{}

{"↗"}

{}

Binary

Infix

None

False

SameQ

=

SameQ

330

290

≠

260

51

=

51

370

{{"expr1", "===", "expr2"}}

{"SameQ", "[", "expr1", ",", "expr2", "]"}

SameQ[expr1, expr2]

{}

{"==="}

{}

Binary

Infix

None

True

UnsameQ

=

UnsameQ

330

290

≠

260

51

=

51

370

{{"expr1", "=!=", "expr2"}}

{"UnsameQ", "[", "expr1", ",", "expr2", "]"}

UnsameQ[expr1, expr2]

{}

{"=!="}

{}

Binary

Infix

None

True

Distributed

=

Distributed

320

250

=

250

52

360

=

360

{{"expr1", "", "expr2"}}

{"Distributed", "[", "expr1", ",", "expr2", "]"}

Distributed[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

Element

=

Element

320

250

=

250

52

=

52

360

=

360

{{"expr1", "∈", "expr2"}}

{"Element", "[", "expr1", ",", "expr2", "]"}

Element[expr1, expr2]

{}

{"∈"}

{}

Binary

Infix

None

True

NotElement

=

NotElement

320

250

=

250

52

=

52

360

=

360

{{"expr1", "∉", "expr2"}}

{"NotElement", "[", "expr1", ",", "expr2", "]"}

NotElement[expr1, expr2]

{}

{"∉"}

{}

Binary

Infix

None

True

NotReverseElement

=

NotReverseElement

320

250

=

250

52

360

=

360

{{"x", "∌", "y"}}

{"NotReverseElement", "[", "x", ",", "y", "]"}

NotReverseElement[x, y]

{}

{"∌"}

{}

Binary

Infix

None

False

NotSquareSubset

=

NotSquareSubset

320

250

=

250

52

360

=

360

{{"x", "", "y"}}

{"NotSquareSubset", "[", "x", ",", "y", "]"}

NotSquareSubset[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotSquareSubsetEqual

=

NotSquareSubsetEqual

320

250

=

250

52

360

=

360

{{"x", "⋢", "y"}}

{"NotSquareSubsetEqual", "[", "x", ",", "y", "]"}

NotSquareSubsetEqual[x, y]

{}

{"⋢"}

{}

Binary

Infix

None

False

NotSquareSuperset

=

NotSquareSuperset

320

250

=

250

52

360

=

360

{{"x", "", "y"}}

{"NotSquareSuperset", "[", "x", ",", "y", "]"}

NotSquareSuperset[x, y]

{}

{""}

{}

Binary

Infix

None

False

NotSquareSupersetEqual

=

NotSquareSupersetEqual

320

250

=

250

52

360

=

360

{{"x", "⋣", "y"}}

{"NotSquareSupersetEqual", "[", "x", ",", "y", "]"}

NotSquareSupersetEqual[x, y]

{}

{"⋣"}

{}

Binary

Infix

None

False

NotSubset

=

NotSubset

320

250

=

250

52

360

=

360

{{"x", "⊄", "y"}}

{"NotSubset", "[", "x", ",", "y", "]"}

NotSubset[x, y]

{}

{"⊄"}

{}

Binary

Infix

None

False

NotSubsetEqual

=

NotSubsetEqual

320

250

=

250

52

360

=

360

{{"x", "⊈", "y"}}

{"NotSubsetEqual", "[", "x", ",", "y", "]"}

NotSubsetEqual[x, y]

{}

{"⊈"}

{}

Binary

Infix

None

False

NotSuperset

=

NotSuperset

320

250

=

250

52

360

=

360

{{"x", "⊅", "y"}}

{"NotSuperset", "[", "x", ",", "y", "]"}

NotSuperset[x, y]

{}

{"⊅"}

{}

Binary

Infix

None

False

NotSupersetEqual

=

NotSupersetEqual

320

250

=

250

52

360

=

360

{{"x", "⊉", "y"}}

{"NotSupersetEqual", "[", "x", ",", "y", "]"}

NotSupersetEqual[x, y]

{}

{"⊉"}

{}

Binary

Infix

None

False

ReverseElement

=

ReverseElement

320

250

=

250

52

360

=

360

{{"x", "∋", "y"}}

{"ReverseElement", "[", "x", ",", "y", "]"}

ReverseElement[x, y]

{}

{"∋"}

{}

Binary

Infix

None

False

SquareSubset

=

SquareSubset

320

250

=

250

52

360

=

360

{{"x", "⊏", "y"}}

{"SquareSubset", "[", "x", ",", "y", "]"}

SquareSubset[x, y]

{}

{"⊏"}

{}

Binary

Infix

None

False

SquareSubsetEqual

=

SquareSubsetEqual

320

250

=

250

52

360

=

360

{{"x", "⊑", "y"}}

{"SquareSubsetEqual", "[", "x", ",", "y", "]"}

SquareSubsetEqual[x, y]

{}

{"⊑"}

{}

Binary

Infix

None

False

SquareSuperset

=

SquareSuperset

320

250

=

250

52

360

=

360

{{"x", "⊐", "y"}}

{"SquareSuperset", "[", "x", ",", "y", "]"}

SquareSuperset[x, y]

{}

{"⊐"}

{}

Binary

Infix

None

False

SquareSupersetEqual

=

SquareSupersetEqual

320

250

=

250

52

360

=

360

{{"x", "⊒", "y"}}

{"SquareSupersetEqual", "[", "x", ",", "y", "]"}

SquareSupersetEqual[x, y]

{}

{"⊒"}

{}

Binary

Infix

None

False

Subset

=

Subset

320

250

=

250

52

=

52

360

=

360

{{"expr1", "⊂", "expr2"}}

{"Subset", "[", "expr1", ",", "expr2", "]"}

Subset[expr1, expr2]

{}

{"⊂"}

{}

Binary

Infix

None

False

SubsetEqual

=

SubsetEqual

320

250

=

250

52

360

=

360

{{"x", "⊆", "y"}}

{"SubsetEqual", "[", "x", ",", "y", "]"}

SubsetEqual[x, y]

{}

{"⊆"}

{}

Binary

Infix

None

False

Superset

=

Superset

320

250

=

250

52

=

52

360

=

360

{{"expr1", "⊃", "expr2"}}

{"Superset", "[", "expr1", ",", "expr2", "]"}

Superset[expr1, expr2]

{}

{"⊃"}

{}

Binary

Infix

None

False

SupersetEqual

=

SupersetEqual

320

250

=

250

52

360

=

360

{{"x", "⊇", "y"}}

{"SupersetEqual", "[", "x", ",", "y", "]"}

SupersetEqual[x, y]

{}

{"⊇"}

{}

Binary

Infix

None

False

Exists

=

Exists

310

240

=

240

53

=

53

350

=

350

{{"∃", "expr"}}

{"Exists", "[", "expr", "]"}

{"∃"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

ForAll

=

ForAll

310

240

=

240

53

=

53

350

=

350

{{"∀", "expr"}}

{"ForAll", "[", "expr", "]"}

{"∀"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

NotExists

=

NotExists

310

240

=

240

53

=

53

350

=

350

{{"∄", "expr"}}

{"NotExists", "[", "expr", "]"}

{"∄"}

{}

{}

Unary

Prefix

Right

True

Usage and Parse may not be correct.

Not

=

Not

300

230

=

230

54

=

54

340

=

340

{{"!", "expr"}, {"¬", "expr"}}

{"Not", "[", "expr", "]"}

Not[expr]

{"!", "¬"}

{}

{}

Unary

Prefix

Right

True

And

=

And

290

215

≠

220

55

=

55

330

=

330

{{"expr1", "&&", "expr2"}, {"expr1", "∧", "expr2"}}

{"And", "[", "expr1", ",", "expr2", "]"}

And[expr1, expr2]

{}

{"&&", "∧"}

{}

Binary

Infix

None

True

Nand

=

Nand

290

215

≠

220

55

=

55

330

=

330

{{"expr1", "⊼", "expr2"}}

{"Nand", "[", "expr1", ",", "expr2", "]"}

Nand[expr1, expr2]

{}

{"⊼"}

{}

Binary

Infix

None

True

Xnor

=

Xnor

280

215

=

215

56

=

56

325

=

325

{{"expr1", "", "expr2"}}

{"Xnor", "[", "expr1", ",", "expr2", "]"}

Xnor[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

Xor

=

Xor

280

215

=

215

56

=

56

325

=

325

{{"expr1", "⊻", "expr2"}}

{"Xor", "[", "expr1", ",", "expr2", "]"}

Xor[expr1, expr2]

{}

{"⊻"}

{}

Binary

Infix

None

True

Nor

=

Nor

270

215

≠

210

57

=

57

320

=

320

{{"expr1", "⊽", "expr2"}}

{"Nor", "[", "expr1", ",", "expr2", "]"}

Nor[expr1, expr2]

{}

{"⊽"}

{}

Binary

Infix

None

True

Or

=

Or

270

215

≠

210

57

=

57

320

=

320

{{"expr1", "||", "expr2"}, {"expr1", "∨", "expr2"}}

{"Or", "[", "expr1", ",", "expr2", "]"}

Or[expr1, expr2]

{}

{"||", "∨"}

{}

Binary

Infix

None

True

Equivalent

=

Equivalent

260

205

=

205

58

=

58

315

=

315

{{"expr1", "⧦", "expr2"}}

{"Equivalent", "[", "expr1", ",", "expr2", "]"}

Equivalent[expr1, expr2]

{}

{"⧦"}

{}

Binary

Infix

None

True

RoundImplies

=

RoundImplies

250

240

≠

200

59

310

=

310

{{"expr1", "⥰", "expr2"}}

{"RoundImplies", "[", "expr1", ",", "expr2", "]"}

RoundImplies[expr1, expr2]

{}

{"⥰"}

{}

Binary

Infix

Right

False

Implies

=

Implies

250

200

=

200

59

=

59

310

=

310

{{"expr1", "", "expr2"}}

{"Implies", "[", "expr1", ",", "expr2", "]"}

Implies[expr1, expr2]

{}

{""}

{}

Binary

Infix

Right

True

Conditioned

=

Conditioned

240

195

=

195

59.5

305

=

305

{{"expr1", "", "expr2"}}

{"Conditioned", "[", "expr1", ",", "expr2", "]"}

Conditioned[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

True

DoubleRightTee

=

DoubleRightTee

230

190

=

190

59.6

300

=

300

{{"expr1", "⊨", "expr2"}}

{"DoubleRightTee", "[", "expr1", ",", "expr2", "]"}

DoubleRightTee[expr1, expr2]

{}

{"⊨"}

{}

Binary

Infix

Right

False

RightTee

=

RightTee

230

190

=

190

59.6

300

=

300

{{"expr1", "⊢", "expr2"}}

{"RightTee", "[", "expr1", ",", "expr2", "]"}

RightTee[expr1, expr2]

{}

{"⊢"}

{}

Binary

Infix

Right

False

DoubleLeftTee

=

DoubleLeftTee

220

190

=

190

60

=

60

300

=

300

{{"expr1", "⫤", "expr2"}}

{"DoubleLeftTee", "[", "expr1", ",", "expr2", "]"}

DoubleLeftTee[expr1, expr2]

{}

{"⫤"}

{}

Binary

Infix

Left

False

DownTee

=

DownTee

220

190

=

190

60

=

60

300

=

300

{{"expr1", "⊤", "expr2"}}

{"DownTee", "[", "expr1", ",", "expr2", "]"}

DownTee[expr1, expr2]

{}

{"⊤"}

{}

Binary

Infix

Left

False

LeftTee

=

LeftTee

220

190

=

190

60

=

60

300

=

300

{{"expr1", "⊣", "expr2"}}

{"LeftTee", "[", "expr1", ",", "expr2", "]"}

LeftTee[expr1, expr2]

{}

{"⊣"}

{}

Binary

Infix

Left

False

UpTee

=

UpTee

220

190

=

190

60

=

60

390

=

390

{{"expr1", "⊥", "expr2"}}

{"UpTee", "[", "expr1", ",", "expr2", "]"}

UpTee[expr1, expr2]

{}

{"⊥"}

{}

Binary

Infix

Left

False

Perpendicular

=

Perpendicular

220

190

=

190

60

390

=

390

{{"expr1", "⟂", "expr2"}}

{"Perpendicular", "[", "expr1", ",", "expr2", "]"}

Perpendicular[expr1, expr2]

{}

{"⟂"}

{}

Binary

Infix

None

False

SuchThat

=

SuchThat

210

180

=

180

61

=

61

290

=

290

{{"expr1", "∍", "expr2"}}

{"SuchThat", "[", "expr1", ",", "expr2", "]"}

SuchThat[expr1, expr2]

{}

{"∍"}

{}

Binary

Infix

Right

False

Repeated

=

Repeated

200

170

=

170

62

=

62

280

{{"expr", ".."}}

{"Repeated", "[", "expr", "]"}

Repeated[expr]

{}

{".."}

{}

Unary

Postfix

Left

True

RepeatedNull

=

RepeatedNull

200

170

=

170

62

=

62

280

{{"expr", "..."}}

{"RepeatedNull", "[", "expr", "]"}

RepeatedNull[expr]

{}

{"..."}

{}

Unary

Postfix

Left

True

Alternatives

=

Alternatives

190

160

=

160

63

≠

64

276

{{"expr1", "|", "expr2"}}

{"Alternatives", "[", "expr1", ",", "expr2", "]"}

Alternatives[expr1, expr2]

{}

{"|"}

{}

Binary

Infix

None

True

Pattern

=

Pattern

190

150

=

150

64

=

64

275

{{"symb", ":", "expr"}}

{"Pattern", "[", "symb", ",", "expr", "]"}

Pattern[symb, expr]

{}

{":"}

{}

Binary

Infix

Non

True

Optional

=

Optional

190

140

=

140

64

=

64

270

{{"patt", ":", "expr"}}

{"Optional", "[", "patt", ",", "expr", "]"}

Optional[patt, expr]

{}

{":"}

{}

Binary

Infix

Non

True

StringExpression

=

StringExpression

180

135

=

135

65

=

65

265

{{"expr1", "~~", "expr2"}}

{"StringExpression", "[", "expr1", ",", "exrp2", "]"}

StringExpression[expr1, expr2]

{}

{"~~"}

{}

Binary

Infix

None

True

Condition

=

Condition

170

130

=

130

66

=

66

260

{{"expr1", "/;", "expr2"}}

{"Condition", "[", "expr1", ",", "expr2", "]"}

Condition[expr1, expr2]

{}

{"/;"}

{}

Binary

Infix

Left

True

TwoWayRule

=

TwoWayRule

160

125

=

125

66.5

255

=

255

{{"expr1", "<->", "expr2"}, {"expr1", "", "expr2"}}

{"TwoWayRule", "[", "expr1", ",", "expr2", "]"}

TwoWayRule[expr1, expr2]

{}

{"<->", ""}

{}

Binary

Infix

Right

True

RuleDelayed

=

RuleDelayed

150

120

=

120

67

=

67

250

=

250

{{"expr1", ":>", "expr2"}, {"expr1", "", "expr2"}}

{"RuleDelayed", "[", "expr1", ",", "expr2", "]"}

RuleDelayed[expr1, expr2]

{}

{":>", ""}

{}

Binary

Infix

Right

True

Rule

=

Rule

140

120

=

120

67

≠

67.5

250

=

250

{{"expr1", "->", "expr2"}, {"expr1", "", "expr2"}}

{"Rule", "[", "expr1", ",", "expr2", "]"}

Rule[expr1, expr2]

{}

{"->", ""}

{}

Binary

Infix

Right

True

ReplaceAll

=

ReplaceAll

130

110

=

110

68

=

68

240

{{"expr1", "/.", "expr2"}}

{"ReplaceAll", "[", "expr1", ",", "expr2", "]"}

ReplaceAll[expr1, expr2]

{}

{"/."}

{}

Binary

Infix

Left

True

ReplaceRepeated

=

ReplaceRepeated

130

110

=

110

68

=

68

240

{{"expr1", "//.", "expr2"}}

{"ReplaceRepeated", "[", "expr1", ",", "expr2", "]"}

ReplaceRepeated[expr1, expr2]

{}

{"//."}

{}

Binary

Infix

Left

True

TimesBy

=

TimesBy

120

100

=

100

69

=

69

230

{{"expr1", "*=", "expr2"}}

{"TimesBy", "[", "expr1", ",", "expr2", "]"}

TimesBy[expr1, expr2]

{}

{"*="}

{}

Binary

Infix

Right

True

SubtractFrom

=

SubtractFrom

120

100

=

100

69

=

69

230

{{"expr1", "-=", "expr2"}}

{"SubtractFrom", "[", "expr1", ",", "expr2", "]"}

SubtractFrom[expr1, expr2]

{}

{"-="}

{}

Binary

Infix

Right

True

DivideBy

=

DivideBy

120

100

=

100

69

=

69

230

{{"expr1", "/=", "expr2"}}

{"DivideBy", "[", "expr1", ",", "expr2", "]"}

DivideBy[expr1, expr2]

{}

{"/="}

{}

Binary

Infix

Right

True

AddTo

=

AddTo

120

100

=

100

69

=

69

230

{{"expr1", "+=", "expr2"}}

{"AddTo", "[", "expr1", ",", "expr2", "]"}

AddTo[expr1, expr2]

{}

{"+="}

{}

Binary

Infix

Right

True

Function

=

Function

110

90

=

90

70

=

70

220

{{"expr", "&"}}

{"Function", "[", "expr", "]"}

Function[expr]

{}

{"&"}

{}

Unary

Postfix

Left

True

Colon

=

Colon

100

80

=

80

71

=

71

205

=

205

{{"expr1", "∶", "expr2"}}

{"Colon", "[", "expr1", ",", "expr2", "]"}

Colon[expr1, expr2]

{}

{"∶"}

{}

Binary

Infix

None

False

FunctionApplyPostfix

≠

Postfix

90

70

=

70

72

204

{{"expr1", "//", "expr2"}}

{"expr2", "[", "expr1", "]"}

expr2[expr1]

{}

{"//"}

{}

Binary

Infix

Left

True

Postfix[f[x]] will display as x//f. Precedence identifies Postfix with this operator.

VerticalSeparator

=

VerticalSeparator

80

60

=

60

73

=

73

202

≠

203

{{"expr1", "", "expr2"}}

{"VerticalSeparator", "[", "expr1", ",", "expr2", "]"}

VerticalSeparator[expr1, expr2]

{}

{""}

{}

Binary

Infix

None

False

Therefore

=

Therefore

70

50

=

50

74

≠

73.5

201

≠

202

{{"expr1", "∴", "expr2"}}

{"Therefore", "[", "expr1", ",", "expr2", "]"}

Therefore[expr1, expr2]

{}

{"∴"}

{}

Binary

Infix

Right

False

Precedence of Therefore and Because are swapped in notebook versus ToExpression.

Because

=

Because

60

50

=

50

74

=

74

201

=

201

{{"expr1", "∵", "expr2"}}

{"Because", "[", "expr1", ",", "expr2", "]"}

Because[expr1, expr2]

{}

{"∵"}

{}

Binary

Infix

Left

False

Precedence of Therefore and Because are swapped in notebook versus ToExpression.

ParameterizedFunction

≠

Function

50

90

≠

40

75

=

75

190

=

190

{{"expr1", "", "expr2"}}

{"Function", "[", "{", "expr1", "}", ",", "expr2", "]"}

Function[expr1, expr2]

{}

{""}

{}

Binary

Infix

Right

True

The arrow form of Function.

Set

=

Set

50

40

=

40

75

=

75

190

{{"expr1", "=", "expr2"}}

{"Set", "[", "expr1", ",", "expr2", "]"}

Set[expr1, expr2]

{}

{"="}

{}

Binary

Infix

Right

True

SetDelayed

=

SetDelayed

50

40

=

40

75

=

75

190

{{"expr1", ":=", "expr2"}}

{"SetDelayed", "[", "expr1", ",", "expr2", "]"}

SetDelayed[expr1, expr2]

{}

{":="}

{}

Binary

Infix

Right

True

TagSet

=

TagSet

50

670

40

75

=

75

190

{{"symb", "/:", "expr1", "=", "expr2"}}

{"TagSet", "[", "symb", ",", "expr1", "]"}

TagSet[symb, expr1, expr2]

{}

{"/:"}

{"="}

Ternary

Infix

Right

True

TagSetDelayed

=

TagSetDelayed

50

670

40

75

=

75

190

{{"symb", "/:", "expr1", ":=", "expr2"}}

{"TagSetDelayed", "[", "symb", ",", "expr1", "]"}

TagSetDelayed[symb, expr1, expr2]

{}

{"/:"}

{":="}

Ternary

Infix

Right

True

TagUnset

=

TagUnset

50

670

40

75

=

75

190

{{"symb", "/;", "expr", "=."}}

{"TagUnset", "[", "symb", ",", "expr", "]"}

Unset[Condition[symb, expr]]

{}

{"/;"}

{"=."}

Binary

Infix

Right

True

Unset

=

Unset

50

670

40

75

=

75

190

{{"expr", "=."}}

{"Unset", "[", "expr", "]"}

Unset[expr]

{}

{"=."}

{}

Unary

Postfix

Left

True

UpSet

=

UpSet

50

40

=

40

75

=

75

190

{{"expr1", "^=", "expr2"}}

{"UpSet", "[", "expr1", ",", "expr2", "]"}

UpSet[expr1, expr2]

{}

{"^="}

{}

Binary

Infix

Right

True

UpSetDelayed

=

UpSetDelayed

50

40

=

40

75

=

75

190

{{"expr1", "^:=", "expr2"}}

{"UpSetDelayed", "[", "expr1", ",", "expr2", "]"}

UpSetDelayed[expr1, expr2]

{}

{"^:="}

{}

Binary

Infix

Right

True

Put

=

Put

40

30

=

30

76

=

76

180

{{"expr", ">>", "filename"}}

{"Put", "[", "expr", ",", "", "filename"}

Put[expr, "filename"]

{}

{">>"}

{}

Binary

Infix

Left

True

PutAppend

=

PutAppend

40

30

=

30

76

=

76

180

{{"expr", ">>>", "filename"}}

{"PutAppend", "[", "expr", ",", "", "filename"}

PutAppend[expr, "filename"]

{}

{">>>"}

{}

Binary

Infix

Left

True

CompoundExpression

=

CompoundExpression

30

10

=

10

77

=

77

170

{{"expr1", ";", "expr2"}}

{"CompoundExpression", "[", "expr1", ",", "expr2", "]"}

CompoundExpression[expr1, expr2]

{}

{";"}

{}

Binary

Infix

None

True

CompoundExpressionNull

≠

CompoundExpression

30

10

=

10

77

=

77

170

{{"expr1", ";", "expr2", ";"}}

{"CompoundExpression", "[", "expr1", ",", "expr2", "]"}

CompoundExpression[expr1, expr2, Null]

{}

{";"}

{}

Unary

Postfix

Left

True

FormBox

=

FormBox

20

670

5

78

=

78

160

{{"expr1", "\\`", "expr2"}}

{"FormBox", "[", "expr2", ",", "expr1", "]"}

{}

{"\\`"}

{}

Binary

Infix

Missing["Unknown"]

True

ImplicitSequence

≠

Comma

10

670

755

79

1

=

1

{{"expr1", "", "expr2"}, {"expr1", ",", "expr2"}}

{"AngleBracket", "[", "expr", ",", "…", "]"}

expr1, expr2

{}

{"", ","}

{}

Binary

Infix

None

True

Operator Notations includes usages with invisible unicode characters.