fixed useractorspec
enable sub/superscript annotations for isabelle