User reported ERROR kr/slides/prop-identities.en.xhtml

[abchugh]

A content ERROR was logged by "Vincent Neumann" at the following url:

https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=o2u9pq.rqisv4.-38zq95.-a6159o%7E5f7d37b3

The issue as described by the user:

is in wrong coloumn - coloumns are switched

The text highlighted while reporting this issue:

𝜑⊔⊤=⊤

The selected text was in the following section hierarchy:

INNERMOST SECTION FIRST

1. GitLab: https://gl.mathhub.info/courses/Jacobs/CompLog/-/blob/main/source/kr/slides/prop-identities.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/Jacobs/CompLog&filepath=kr/slides/prop-identities.en.xhtml&bindings=0_4_1mb8GOXt1VRfgvpwqxk

2. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/logic/sec/pl0-set-description.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=logic/sec/pl0-set-description.en.xhtml&bindings=0_1_hXggIY0TnCJzs

3. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/logic/sec/logic-based-kr.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=logic/sec/logic-based-kr.en.xhtml&bindings=0_0_15p5839fWHSA

4. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/logic/sec/kr.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=logic/sec/kr.en.xhtml&bindings=0_0_11fYdj3Mzi

5. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/course/sec/krinf.en.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE

6. GitLab: https://gl.mathhub.info/courses/FAU/AI/course/-/blob/main/source/course/notes/notes1.tex
   FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=courses/FAU/AI/course&filepath=course/notes/notes1.xhtml