campos@csli.Stanford.EDU (Manuel Campos) (02/22/91)
Does anybody know where I can obtain a font called "Diacritic", that contains symbols for logical consequence and other logical notions? Does anybody know of any other font containing the consequence symbol, the crossbar that can be written over other symbols, etc.? Manuel