Search content within a proof

  1. Open the proof that you want to search.

  2. In the toolbar above the proof, click the  Search document  icon.

    Search document

  3. Begin typing the text you want to search for.

    The search tool highlights the text in the document as you type.

    Search_text_highlighted_as_you_type.png

  4. Finish typing the text you want to search for, then click the  Up  and  Down  arrows to scan through the search results within the proof.

recommendation-more-help