LWG3182 Specification of Same could be clearer

Author: Dawn Perchik

source/concepts.tex

@@ -273,13 +273,19 @@
 \indexlibrary{\idxcode{Same}}%
 \begin{itemdecl}
 template<class T, class U>
-  concept Same = is_same_v<T, U>;
+  concept @\placeholdernc{same-impl}@ = // exposition only
+    is_same_v<T, U>;
+
+template<class T, class U>
+  concept Same = @\placeholdernc{same-impl}@<T, U> && @\placeholdernc{same-impl}@<U, T>;
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
+\begin{note}
 \tcode{\libconcept{Same}<T, U>} subsumes \tcode{\libconcept{Same}<U, T>} and
 vice versa.
+\end{note}
 \end{itemdescr}
 
 \rSec2[concept.derivedfrom]{Concept \libconcept{DerivedFrom}}