clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";