--- a/src/Doc/Main/Main_Doc.thy Tue Jan 19 11:36:09 2016 +0100
+++ b/src/Doc/Main/Main_Doc.thy Tue Jan 19 11:46:54 2016 +0100
@@ -100,8 +100,8 @@
@{text[source]"x \<sqsubset> y"} & @{term"x < y"}\\
@{text[source]"x \<sqinter> y"} & @{term"inf x y"}\\
@{text[source]"x \<squnion> y"} & @{term"sup x y"}\\
-@{text[source]"\<Sqinter>A"} & @{term"Sup A"}\\
-@{text[source]"\<Squnion>A"} & @{term"Inf A"}\\
+@{text[source]"\<Sqinter>A"} & @{term"Inf A"}\\
+@{text[source]"\<Squnion>A"} & @{term"Sup A"}\\
@{text[source]"\<top>"} & @{term[source] top}\\
@{text[source]"\<bottom>"} & @{term[source] bot}\\
\end{supertabular}