Maybe a dumb question but I’m trying to define a new theorem environment using
<new-theorem|asp|Assumption>
It is partially successful because I do get the Assumption
but with a wierd red question mark and I can’t type things INSIDE this theorem, for comparison:
Anyone can help me?
*for comparison
I tried it and for me it works. Maybe you encountered a bug. It might (but only might) be helpful to give OS and TeXmacs version and maybe too share a document which generates the behaviour. If nothing comes up, then it may be best to submit a bug report on Savannah.
Thank you for your reply. @pireddag
My OS is win11 and I have re-installed my texmacs to ensure completeness, but unfortunately the red question mark is still there.
The document is simple:
<new-theorem|asp|Assumption>
\asp
You have to put the new-theorem statement in the preamble of the document or in a separate package or style file. If you define it in the document TeXmacs will not be able to synthetize appropriate meta information and you will not be able to access the arguments of the \asp macro (created by \new-document). In this case the argument (body) is empty and this shows as question mark.
