The code in this directory is taken from  

	http://x-symbol.sourceforge.net/

This is version XXXX

No changes have been made for Proof General.