Automatic Documentation and Mathematical Linguistics