Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks).
Fixed but with old versions of pdflatex (fancy symbols not allowed in bookmarks).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle