\[Implies]

1996年引入
(3.0)