Add emacs binding for ≰ symbol in hol-unicode.el
Make subgoal function in emacs mode Raise exceptions