Add simplified Emacs formula.