jts@demon.siemens.com (Jim Sasaki) (06/15/88)
Does anyone out know of a font that includes symbols for mathematical logic? In particular, I'm looking for various turnstile symbols. Roughly approximated, they are |- (single turnstile) |= (double turnstile) ||- (who knows what it's called?) Please reply electronically; I'll post the result if there is general interest. (Hard to believe -- they aren't symbols that pop up everywhere, except for the occasional |- traffic sign.) Thanks. Jim Sasaki (jts@siemens.com, jts%siemens.com@princeton.edu, ...!princeton!siemens!jts) -------------------- Any opinions above are my own, and not necessarily those of Siemens RTL, for whom I consult.