An equation layouting system for Eido