Girardian turnstile

• To: types@cs.indiana.edu
• Subject: Girardian turnstile
• From: Frank Christoph <christo@nextsolution.co.jp>
• Date: Fri, 9 May 1997 15:42:49 +0900
• Delivery-Date: Fri, 09 May 1997 01:41:48 -0500

I would be grateful if someone could post some (La)TeX code for the Girardian
turnstile/entailment symbol (it's shorter than \vdash and the vertical part is
fatter), or tell me where I can find it if it's a font character.

-- 
Frank Christoph                 Next Solution Co.      Tel: 0424-98-1811
christo@nextsolution.co.jp                             Fax: 0424-98-1500

• Prev: CADE-14 Student Travel Award - Call for Nominations
• Next: ESSLLI-98 Second Call for Proposals
• Index(es):
  • Main
  • Thread