Article View: comp.text
Article #3716Re: eqn/troff macros for generating logical quantifiers
From: ma_jaa
Date: Wed, 29 Apr 1987 15:52
Date: Wed, 29 Apr 1987 15:52
15 lines
1297 bytes
1297 bytes
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.
Technical Details
Message-ID:
<1043@bath63.ux63.bath.ac.uk>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!water!watmath!clyde!rutgers!seismo!mcvax!ukc!dcl-cs!bath63!ma_jaaReferences:
<281@suadb.UUCP>Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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