A documentation and typesetting system.