You may use PHP Markdown Extra and PHP SmartyPants Typographer syntax.
To undo / redo, press CTRL-Z / CTRL-Y. You can also undo most button actions by clicking it again.