Path: 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


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               |
+-----------------------------------+----------------------------------------+