Confusing abbreviation
A content ERROR was logged by "a user" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=-qocjk6.-lw593j%7E845e20ee
The issue as described by the user:
I don't think this is what ALC does. sqsubseteq constructs an formula, not a concept.
The text highlighted while reporting this issue:
𝑝⊑𝑞
can still be used as an abbreviation for
𝑝―⊔𝑞.
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/kr/slides/alc-syntax-ex.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=kr/slides/alc-syntax-ex.en.xhtml&bindings=0_4_560a6euX9utN4q54e -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/alc-language.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/alc-language.en.xhtml&bindings=0_1_4dbWCWHDcdU -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/alc.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/alc.en.xhtml&bindings=0_1_gk7xqUYzDC -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/kr.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/kr.en.xhtml&bindings=0_1_XmG2r9q -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml