Free logic font?

November 16, 2005 12:03 PM

Does anyone know of a free downloadable font with logic symbols?

I could write the SL connectives and those zany upside-down letter PL quantifiers on my assignments by hand, but, well, I'd rather not, and my Google searches have yielded naught but broken links and uselessness. Help?

posted by ITheCosmos to Computers & Internet (5 answers total)

Best answer: Her'es a font install of it:

http://www.oakland.edu/phil/cafe/downLogicFont.htm
posted by frankie_stubbs at 12:19 PM on November 16, 2005

Response by poster: That was easy. Thanks!
posted by ITheCosmos at 12:30 PM on November 16, 2005

Lucida Sans Unicode comes with windows and has the logical quantifiers and connectives. You type them by using alt+ their unicode numbers on the number pad. The existential quantifier (backwards 'E'), for instance, is alt+8707.

The Index of Character Entity References" will be helpful.
posted by Aaorn at 12:34 PM on November 16, 2005

The TrueType fonts included with Mathmatica are also freely available separately. Look here for the PC, and here for OSX.

I used these extensively when I took a Logic class last summer.
posted by toxic at 12:46 PM on November 16, 2005

you mean like? ∃ ⇑,⇒,∀,∂, ∅,&isin,∋,∉,∏,∑ and so on?

You probably already have them. See here for a list of html entities.

Type them into a metafilter window and paste them into word or whatever unicode editor you want to use (verdana and lucida have those characters)
posted by delmoi at 1:02 PM on November 16, 2005