Q(3) on Linux
The text 9c66ed87e9a8, as Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny), Debian 4.0 (Etch), Debian 3.1 (Sarge), Debian 3.0 (Woody), Debian 2.2 (Potato) shipped it. The page shows this text now.
support for Forall, Exists, etc in GNU C and C++