Bug fix - Mowitz symbols conflict with Xaw.