Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Legacy Documentation

Publicon^® (2004)

This is documentation for an obsolete product.

Current products and services

Documentation Publicon Reference Special Characters

• Alias: fa.
• Compound operator.
• is by default interpreted as ForAll[x, y].
• See also: \[Exists] , \[Not] .