quotients: add legend for class

brixen · Oct 26, 2010 · e6fbce7 · e6fbce7
1 parent f4694cb
commit e6fbce7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/notes/Quotients/quotients.tex b/notes/Quotients/quotients.tex
@@ -41,7 +41,8 @@ \section*{Type formers:}
 Given a set \(\V{A}\) and an equivalence relation \(\V{R}\) over
 \(\V{A}\), the quotient of \(\V{A}\) by \(\V{R}\) is denoted
 \(\Quotient{\V{A}}{\V{R}}{\V{p}}\), with \(\V{p}\) the proof that
-\(\V{R}\) is indeed an equivalence relation.
+\(\V{R}\) is indeed an equivalence relation. The equivalence class of
+\(\V{x}\) is denoted \(\class{\V{x}}\).
 
 
 \[