Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!utgpu!water!watmath!clyde!rutgers!seismo!mcvax!ukc!dcl-cs!bath63!ma_jaa
From: ma_jaa@bath63.UUCP
Newsgroups: comp.text
Subject: Re: eqn/troff macros for generating logical quantifiers
Message-ID: <1043@bath63.ux63.bath.ac.uk>
Date: Wed, 29-Apr-87 11:52:37 EDT
Article-I.D.: bath63.1043
Posted: Wed Apr 29 11:52:37 1987
Date-Received: Fri, 1-May-87 06:52:51 EDT
References: <281@suadb.UUCP>
Reply-To: ma_jaa@ux63.bath.ac.uk (Abbott)
Organization: University of Bath, England
Lines: 15

The following two string definitions produce acceptable representations
of the "for all" and "there is" symbols at most point sizes on our system.
However, the output is satisfactory only for the Times font; 
e.g. with the Helvetica font the shapes are ugly and unbalanced.
We use ptroff on HLH Orions driving a badge engineered Apple LaserWriter.
(note that the lines have been broken so as not to exceed 80 characters
in length - there are no spaces in either line after the first '\').

.ds qe \*(#[\h'0.1m'\v'-0.24m'\z\(ul\v'-0.4m'
\z\(ul\v'-0.4m'\z\(ul\v'0.88m'\h'0.4m'|\v'0.16m'\h'0.1m'\*(#]

.ds qa \*(#[\h'0.1m'\z\e\h'0.24m'\z\(sl\h'-0.16m'
\v'-0.15m'\(hy\v'0.15m'\h'0.2m'\*(#]

Hope these are useful. John.