Felipe Lavín

This plugin adds an editor button that will let you use the great <a href="http://codemirror.net" rel="nofollow ugc">CodeMirror</a> editor to edit the HTML code of your posts.
This editor supports code coloring and automatic tag closing on a big editor that will let you write beautiful code on your WordPress posts.
Probably the best choice if you need to use complex HTML on your posts, or just enjoy writing in plain HTML.

CodeMirror for Post Editor

Write beautiful HTML code using the CodeMirror component for your WordPress posts.

AS OF MAY 2016, THIS PLUGIN IS NOT BEING MAINTAINED AND WILL NOT RECEIVE ANY FUTURE UPDATES. 
CONTACT ME IF YOU’D LIKE TO LIST AN ALTERNATIVE HERE.
Alternatives: 
– https://wordpress.org/plugins/footnotation/
This plugin provides an extremely easy way to add elegant looking footnotes to 
your posts. The syntax is natural, simple to understand, and degrades 
gracefully if the plugin is removed. Footnotes are linked unobtrusively and the 
note itself links back to the original text where the footnote is referenced.
Adding footnotes to a post is simple. Just type them inline in your post in 
square brackets like this:
<pre><code> [1. This is a footnote.]
</code></pre>
Each footnote must have a number followed by a period and a space and then the 
actual footnote. They don’t have to be unique but it is recommended. It doesn’t 
matter what the numbers are since the footnotes will be automatically 
renumbered when the post is displayed.
Footnotes can contain anything you’d like including links, images, etc. 
Footnotes are automatically linked back to the spot in the text where the note 
was made.
<h4>Settings</h4>
Only show footnotes on single post/page: This option will hide 
footnotes on the main blog page. Footnote numbers will still appear 
but link to the individual post/page URL.
Collapse footnotes until clicked: When checked, footnotes are 
hidden until manually expanded or a footnote number is clicked.
Note: Do not include square brackets [] inside the footnotes themselves.
Note: Footnote numbers don’t need to be unique but it is recommended, 
especially if the text is identical for multiple footnotes. If you have 
multiple footnotes with the exact same text and number then you’ll get weird 
and incorrect footnotes on your post.

FD Footnotes Plugin

Add elegant looking footnotes to your posts simply and naturally.

CodeMirror for Post Editor vs FD Footnotes Plugin