Pasting theory text from Proof General with x-symbol
Select the text using the keyboard (
C-SPC
,
arrow keys
).
Choose
X-Symbol
/
Other Commands
/
Copy Encoded
.
Paste into the web browser (
C-v
).
Return to find_theorems