NotExists

NotExists[x, y]
显示为  notexists _(x)y.

更多信息更多信息

1996年引入
(3.0)