Pasting theory text from Proof General with x-symbol

  1. Select the text using the keyboard (C-SPC, arrow keys).
  2. Choose X-Symbol/Other Commands/Copy Encoded.
  3. Paste into the web browser (C-v).
Return to find_theorems