An end-of-article symbol plugin for Wordpress