🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.text
Article #3716

Re: eqn/troff macros for generating logical quantifiers

#3716
From: ma_jaa
Date: Wed, 29 Apr 1987 15:52
15 lines
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_jaa
References: <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