Emacs Enhancements for Symbolic Knowledge Manipulation Environment - View it on GitHub