krishna@aecom.YU.EDU (Krishna Ambati) (07/26/88)
The "for all" character (upside down A) is defined as "oppA" in /usr/pub/eqnchar. Unfortunately, our version does not print it correctly. I would appreciate it if someone could email a definition that works. By the way, our definition is: "\z\(os\(os\h'-\w'\(os'u-\w'\s-2\(mi'u/2u'\v'-.2m'\s-2\(mi\s+2\v'.2m'\h'\w'\(os'u-\w'\s-2 \(mi'u/2u'" Krishna Ambati krishna@aecom.uucp