Local Math Hub plugin for jEdit