Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!mcvax!enea!suadb!anders
From: anders@suadb.UUCP (Anders Bj|rnerstedt)
Newsgroups: comp.text
Subject: eqn/troff macros for generating logical quantifiers
Message-ID: <281@suadb.UUCP>
Date: Sat, 25-Apr-87 06:45:03 EDT
Article-I.D.: suadb.281
Posted: Sat Apr 25 06:45:03 1987
Date-Received: Sun, 26-Apr-87 23:48:11 EDT
Reply-To: anders@suadb.UUCP (Anders Bj|rnerstedt)
Organization: University of Stockholm, Sweden
Lines: 24


 Does anyone have a decent set of eqn or troff macros for generating
the universal and the existential quantifier sign, used in logic
formulae ?

/usr/pub/eqnchar does have something called oppE and oppA, but these
do not produce a nice looking result on our system.

We have Sun-Berkeley unix 4.2 (release 1.2), where we use troff,
Transcript from Adobe, and an Apple LaserWriter.

 ---------------------

  Anders Bjornerstedt
  Department of Information Processing & Computer Science
  University of Stockholm
  S-106 91  Stockholm
  Sweden


UUCP:{seismo,mcvax,cernvax}!enea!suadb!anders
ARPA: enea!suadb!anders@seismo.arpa