Assertion: package's file | /r/HasProperty | dvi
Facets:
Source sentences:
text: The complete documentation should be in your LaTeX distribution; the file is called amsdoc, and can be dvi or pdf.