page moved to Design of Math Symbols Input System