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: <1051@bath63.ux63.bath.ac.uk>
Date: Sat, 2-May-87 07:33:30 EDT
Article-I.D.: bath63.1051
Posted: Sat May  2 07:33:30 1987
Date-Received: Fri, 8-May-87 01:33:35 EDT
References: <281@suadb.UUCP> <1043@bath63.ux63.bath.ac.uk>
Reply-To: ma_jaa@ux63.bath.ac.uk (Abbott)
Organization: University of Bath, England
Lines: 36

In article <1043@bath63.ux63.bath.ac.uk> ma_jaa@ux63.bath.ac.uk (Abbott) writes:
>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.
>

The following definitions work reasonably for the Helvetica font (but not
Times). "for all" is a bit lop-sided at large or small point sizes.
Again the definitions have been broken into two lines so that they are less
than 80 characters long.

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

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

Note that the LaserWriter has its own "for all" and "there is" symbols with
codes 34 and 36 (decimal). We have fiddled with the correspondence tables so
that rarely used characters are replaced by more useful ones
e.g. registered mark (troff code "\(rg") in bold is "for all" so we define:
     .ds qa "\f3\(rg\fP

John.