Undefined index: symbol

I’m running WP3.5.1 with Footnotes 4.2.2.

This same problem, originally identified by andrewjones is still happening. I applied the suggested fix at line 200 and the problem has gone.

Do you think this might be incorporated into an update?

Ted

http://wordpress.org/extend/plugins/wp-footnotes/