<\body> abbreviations> \; <\initial> <\collection>