ari@rhi.hi.is (Ari Vidar Johannesson) (03/30/89)
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 | +-----------------------------------+----------------------------------------+