Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!mips!ptimtc!nntp-server.caltech.edu!gumby!newton
From: newton@gumby.cs.caltech.edu (Mike Newton)
Newsgroups: comp.fonts
Subject: logic/math box-less font
Summary: Existence is existenial
Keywords: purple hippos, postscript, font, logic, math
Message-ID: <newton.677115872@gumby>
Date: 16 Jun 91 23:44:32 GMT
Sender: news@nntp-server.caltech.edu
Organization: California Institute of Technology, Pasadena
Lines: 17


For a thesis that uses lots of Logic (math) symbols, I'm looking for a font
hopefully:
	1. is free / cheap
	2. in postscript form (type 1 or 3) (for use w/ framemaker)
	3. has box-less-than, box-less-equal, box-greater-than, box-greater-equal

Is there such a beast?  (I know of the Blue Sky TeX fonts and the Adobe$$$Fonts).

Thanks,
- mike (newton@gumby.cs.caltech.edu)

ps: box-less than is like the subset sign, but w/ sharp corners, ie:
	.______
	|
	|
	|______