Documentation

Mathematica

The Mathematica Book

Mathematica Reference Guide

Listing of Named Characters

RoundImplies

\[RoundImplies]

Infix operator with built-in evaluation rules.

x y is by default interpreted as Implies[x, y].

x y z groups as x (y z).

Not the same as \[Superset].

See The Mathematica Book: Section 3.10.4 and Section 3.10.4.

See also: \[Implies] , \[SuchThat] , \[RightArrow] , \[Rule] .