A Logical troff problem

[Ari Vidar Johannesson]

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 at rhi.hi.is               |
+-----------------------------------+----------------------------------------+