* added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
note that these symbols are unavailable in Proof General / X-Symbol;

--- a/NEWS	Mon Oct 08 14:29:02 2001 +0200
+++ b/NEWS	Mon Oct 08 14:30:28 2001 +0200
@@ -13,6 +13,10 @@
 * \<bullet> is no output as bold \cdot by default, which looks much
 better in printed text;
 
+* added default LaTeX bindings for \<tturnstile> and \<TTurnstile>;
+note that these symbols are currently unavailable in Proof General /
+X-Symbol;
+
 
 *** Isar ***