Further update tex

oasis-tcs · Jun 3, 2024 · 968373b · 968373b
1 parent 64ecd0f
commit 968373b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dmlex-v1.0/specification/dmlex.xml b/dmlex-v1.0/specification/dmlex.xml
@@ -447,7 +447,7 @@
         <para>
           Some object types defined in DMLex have a property or a combination of properties mandated to be unique.
           Designating a property as unique means that its value must be unique within the scope of its parent object type.
-            Designating a combination of properties as unique means that the ordered composition of its values must be unique within the scope of their parent object type. In the case that all unique properties are missing, <code>listingOrder</code> is used to verify uniqueness. Such unique properties in DMLex serve two purposes:
+            Designating a combination of properties as unique means that the ordered composition of its values must be unique within the scope of their parent object type. In the case that all unique properties are missing, <code>listingOrder</code> <glossterm>must</glossterm> be used to verify uniqueness. Such unique properties in DMLex serve two purposes:
         </para>
         <itemizedlist>
           <listitem>