I have (finally) uploaded the symbol plugin - which I haven't been working on for the last year or so. It should now be compatible with CKEditor 4.0.1.
You can download it from the Add-ons (http://ckeditor.com/addon/symbol). It is a modification of Frederico Knabben's specialCharacter allowing more Unicode characters...