Elefant uses the Redactor WYSIWYG editor, with custom plugins for tight integration with Elefant's internal page structure, image/file manager, and dynamic objects features.
Here is a screenshot of the WYSIWYG editor in action:
The buttons, from left to right, are as follows:
Next: Dynamic Objects