First login?
Lost password?
 
 
 
mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] How to edit the text of the proof environment?


Chronological Thread 
  • From: Frank <address@hidden>
  • To: Basile Audoly <address@hidden>
  • Cc: TeXmacs <address@hidden>
  • Subject: Re: [TeXmacs] How to edit the text of the proof environment?
  • Date: Fri, 26 Apr 2019 16:13:08 +0200

Thanks.

Now I understand how to do that. I need to click "T" in that tool bar and then I can customize the proof-text. It will be automatically converted into codes like <render-proof|...|>

Best wishes

Le 26/04/2019 à 15:54, Basile Audoly a écrit :
Dear Frank,
inside the Proof environment, use the wrench icon > Edit source… to reveal the source code that produces the proof environment: it is <render-proof |  |  >
Just use this render-proof command, supplying your custom heading as the second argument, and the content of the proof as the third argument.

This yields

<\theorem>
  This is a theorem<label|thm:foo>
</theorem>

<render-proof|Proof of theorem<nbsp><reference|thm:foo>|This is the proof>

Basile

Le 26 avr. 2019 à 15:07, Frank <address@hidden> a écrit :

Dear all,

Sorry for a silly question. I want something similar to \begin{proof}[Proof of Theorem {{\ref{thm:foo}}}]. How can I do that in TeXmacs?

If I customize the proof text such that it includes a reference, TeXmacs crashes.

Best wishes,

--
Best wishes!
Yours,


-- 
Best wishes!
Yours,

Archive powered by MHonArc 2.6.19.

Top of page