/ Reference of Built-in Symbols /
Operators without Built-in Meanings / Infix Operators without Built-in Meanings / RoundImplies /

RoundImplies (`⥰`)

RoundImplies[x, y, ...]: displays x ⥰ y ⥰ ...

- RoundImplies[x, y, z]
- a \[RoundImplies] b

← RightVectorBar

→ ShortDownArrow