A Logical troff problem

Article View: comp.unix

Article #628

#628

From: Ari Vidar Johannesson
Date: Thu, 30 Mar 1989 02:58

21 lines
1128 bytes

Hi, there!

Currently I'm working on an essay on logical databases and
I'm type setting it in troff and a HP Laser Jet printer.
However there's a problem.  I can't find a way to generate
logical symbols I need. These are:

  1) the V-shaped "and" and "or" symbols
  2) the existential quantififer (mirror E)
  3) the universlal quantifier (an A upside-down)

If you know how, then please let me know.



-- 
+-----------------------------------+----------------------------------------+
| Ari Vidar Johannesson             |  UUCP:     {mcvax,enea}!hafro!rhi!ari  |
| Halsaseli 6,109 Reykjavik,ICELAND |  Internet: ari@rhi.hi.is               |
+-----------------------------------+----------------------------------------+

Technical Details

Message-ID: <957@altos86.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!oliveb!pyramid!nsc!icldata!altnet!altos86!dtynan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!ames!oliveb!pyramid!nsc!icldata!altnet!altos86!dtynan
From: ari@rhi.hi.is (Ari Vidar Johannesson)
Newsgroups: comp.unix
Subject: A Logical troff problem
Message-ID: <957@altos86.UUCP>
Date: 30 Mar 89 02:58:54 GMT
Sender: dtynan@altos86.UUCP
Organization: University of Iceland
Lines: 21
Approved: dtynan@zorba.Tynan.COM