verbatim emacs commands