diff -r 334625aec7a4 -r fd7a70babec1 src/Pure/PIDE/markup_kind.ML
--- a/src/Pure/PIDE/markup_kind.ML	Tue Sep 24 17:57:42 2024 +0200
+++ b/src/Pure/PIDE/markup_kind.ML	Tue Sep 24 18:17:39 2024 +0200
@@ -16,6 +16,7 @@
   val setup_expression_kind: binding -> theory -> string * theory
   val check_expression: Proof.context -> xstring * Position.T -> Markup.T
   val setup_expression: binding -> Markup.T
+  val markup_item: Markup.T
   val markup_mixfix: Markup.T
   val markup_prefix: Markup.T
   val markup_postfix: Markup.T
@@ -92,6 +93,8 @@
 
 (* concrete markup *)
 
+val markup_item = setup_expression (Binding.make ("item", \<^here>));
+
 val markup_mixfix = setup_notation (Binding.make ("mixfix", \<^here>));
 val markup_prefix = setup_notation (Binding.make ("prefix", \<^here>));
 val markup_postfix = setup_notation (Binding.make ("postfix", \<^here>));