PS_symbol(3) on Linux

The text 661d3f409f5e, as Debian 3.1 (Sarge) shipped it.

PS_symbol(3) on Linux now