User reported SUGGESTION mod/assignment-extension.en.xhtml
A content SUGGESTION was logged by "Frank Alleborn" at the following url:
The issue as described by the user:
Is "a" here a good choice, since it is used in the extension? Some slides later there is a different letter used, so that "a" does not occur two times
The text highlighted while reporting this issue:
a
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/smglom/logic/-/blob/main/source/mod/assignment-extension.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=smglom/logic&filepath=mod/assignment-extension.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/CompLog/-/blob/main/source/pl1/slides/pl1-semantics.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/CompLog&filepath=pl1/slides/pl1-semantics.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/basics-alpha-implicit.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/basics-alpha-implicit.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/fol-alpha-implicit.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/fol-alpha-implicit.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/pl1.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/pl1.en.xhtml -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes.tex
FetchURL: https://stexmmt.mathhub.info/:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes.xhtml