src/Doc/Isar_Ref/Document_Preparation.thy

--- a/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jan 19 11:25:48 2023 +0100
+++ b/src/Doc/Isar_Ref/Document_Preparation.thy	Thu Jan 19 11:42:01 2023 +0100
@@ -117,6 +117,9 @@
     @{antiquotation_def ML_functor} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def ML_functor_def} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def ML_functor_ref} & : & \<open>antiquotation\<close> \\
+  \end{matharray}
+
+  \begin{matharray}{rcl}
     @{antiquotation_def emph} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def bold} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def verbatim} & : & \<open>antiquotation\<close> \\
@@ -126,6 +129,9 @@
     @{antiquotation_def "file"} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def "url"} & : & \<open>antiquotation\<close> \\
     @{antiquotation_def "cite"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "nocite"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "citet"} & : & \<open>antiquotation\<close> \\
+    @{antiquotation_def "citep"} & : & \<open>antiquotation\<close> \\
     @{command_def "print_antiquotations"}\<open>\<^sup>*\<close> & : & \<open>context \<rightarrow>\<close> \\
   \end{matharray}