texmacs-users - [TeXmacs Users] Definitions as "new-theorem", is that a deliberate setting?

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs Users] Definitions as "new-theorem", is that a deliberate setting?

From: Frank <address@hidden>
To: TeXmacs <address@hidden>
Subject: [TeXmacs Users] Definitions as "new-theorem", is that a deliberate setting?
Date: Tue, 21 Jul 2020 13:49:10 +0200

Dear all,

I find that the texts of definitions are rendered italicized. It seems that usually one only italicizes the terminology to be defined. I wonder whether it is a deliberate setting? This seems contradictory: note that there is a command `\dfn` which italicized the terminology to be defined. I tried that in Definitions, it does not show off any effect. I think that it is more logic to render the texts of definitions roman ("new-remark" instead of "new-theorem").

Best,

Frank

--
Best wishes!
Yours,

[TeXmacs Users] Definitions as "new-theorem", is that a deliberate setting?, Frank, 07/21/2020

List archive

[TeXmacs Users] Definitions as "new-theorem", is that a deliberate setting?