diff --git a/examples/emacs-tlaplus.png b/examples/emacs-tlaplus.png
new file mode 100644
index 0000000..4d5628d
Binary files /dev/null and b/examples/emacs-tlaplus.png differ