From 3f2ad6d2c096cacb0818eeae58d760e83cf5d300 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Apr 2004 18:25:04 +0000
Subject: More sub/super examples.

---
 etc/isar/XSymbolTests.thy | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'etc')

diff --git a/etc/isar/XSymbolTests.thy b/etc/isar/XSymbolTests.thy
index ebafcf8b..632f6dfc 100644
--- a/etc/isar/XSymbolTests.thy
+++ b/etc/isar/XSymbolTests.thy
@@ -20,6 +20,9 @@ term "a\<^sup>b" (* b should be a blue variable *)
 term "\<forall> x. a\<^sup>x" (* x should be a green bound variable *)
 term "a\<^sup>k" (* k should be a black constant *)
 
+consts sausage:: "'a => 'a => 'a" ("_\<^bsup>_\<^esup>" [1000,1000] 1000)
+
+term "k\<^bsup>long\<^esup>"  (* k black, long is blue *)
 
 
 (* 28.8.02: bug in pg-remove-specials broke this; now fixed *)
-- 
cgit v1.2.3