From 63dc7eab03dc85bcabe2fe2570ec1dde3fd6c6e4 Mon Sep 17 00:00:00 2001 From: Morten Hjorth-Jensen Date: Fri, 27 Nov 2020 14:09:59 +0100 Subject: [PATCH] dill --- doc/src/week48/week48.do.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/week48/week48.do.txt b/doc/src/week48/week48.do.txt index 2cbfb57a5..738468c5d 100644 --- a/doc/src/week48/week48.do.txt +++ b/doc/src/week48/week48.do.txt @@ -610,7 +610,7 @@ can be written as \lambda_3 \\ \dots \\ \lambda_n \\ -\end{bmatrix}\wedge +\end{bmatrix} \preceq \begin{bmatrix} 0 \\ 0 \\ 0 \\