restructured Mathfile