Dear List, I am at Home and have the following example.: \starttext \margintext {1.1.1} {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).} \par {\it Sei M die Menge aller Männer und F die Menge aller Frauen. Die Aus-\par sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen machen Sie sich die Bedeutung der beiden Aussagen klar.\startalignment[right]\square\stopalignment}\stoptext} There should be a sign like this □ at the end of the proof. Uschi
Am 08.02.24 um 12:23 schrieb Ursula Hermann:
Dear List,
I am at Home and have the following example.:
klar.\startalignment[right]\square\stopalignment}\stoptext}
There should be a sign like this □ at the end of the proof.
What’s your problem – is the square missing? Then there’s probably an error message in the log that tells you about missing characters in your selected font. I’d suggest \wordright{} instead of your alignment construction. Hraban
Hi Ursula, I think you mean the so-called end of the proof sign, or QED (Quod Erat Demonstrandum). You can use this: \definesymbol[QED][\mathematics{\square}] \def\qed{\wordright{\symbol[QED]}} \starttext This is the end of our proof. \qed \stoptext In principle it is included in ConTeXt, but it seems that in the latest version I have (2024.01.23), the command \qed is broken. Best regards: Otared
On 8 Feb 2024, at 12:23, Ursula Hermann
wrote: Dear List,
I am at Home and have the following example.:
\starttext \margintext {1.1.1} {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).} \par {\it Sei M die Menge aller Männer und F die Menge aller Frauen. Die Aus-\par sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen machen Sie sich die Bedeutung der beiden Aussagen klar.\startalignment[right]\square\stopalignment}\stoptext}
There should be a sign like this □ at the end of the proof.
Uschi ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki!
maillist : ntg-context@ntg.nl mailto:ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl webpage : https://www.pragma-ade.nl https://www.pragma-ade.nl/ / https://context.aanhet.net https://context.aanhet.net/ (mirror) archive : https://github.com/contextgarden/context https://github.com/contextgarden/context wiki : https://wiki.contextgarden.net https://wiki.contextgarden.net/ ___________________________________________________________________________________
Otared Kavian e-mail: otared@gmail.com Phone: +33 6 88 26 70 95
Dear Hraban, Dear Otared!
Many Thanks,
Hraban: Because of \wordright: I took a look at wordright at the wiki, works perfect.
Otared, many thanks too. It also works perfect with your example
Uschi
________________________________
Von: Otared Kavian
Dear Otared and Dear Hraban,
So this is my little example: works perfect, after our correspondence.
\starttext
\startalignment[normal]
\margintext {1.1.1}
{\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).}
\par
{\it Sei M die Menge aller Männer und F die Menge aller Frauen. Die
Aus-\par
sage h(m, f) sei ”m ist verliebt in f“. Unter diesen Voraussetzungen
machen \par Sie sich die Bedeutung der beiden Aussagen klar.}\wordright{\square}
\stopalignment
\stoptext
Many thanks
Uschi
________________________________
Von: Ursula Hermann
On 2/8/24 22:37, Otared Kavian wrote:
Hi Ursula,
I think you mean the so-called end of the proof sign, or QED (Quod Erat Demonstrandum). You can use this:
\definesymbol[QED][\mathematics{\square}] \def\qed{\wordright{\symbol[QED]}} \starttext This is the end of our proof. \qed \stoptext
In principle it is included in ConTeXt, but it seems that in the latest version I have (2024.01.23), the command \qed is broken.
Hi Otared, \qed seems to have been disabled (line 988 in strc-con.mklx). Functionality seems to have been enabled in \QED (line 45 in math-mis.mkxl). Just in case it might help, Pablo
Pablo Rodriguez via ntg-context schrieb am 09.02.2024 um 20:07:
On 2/8/24 22:37, Otared Kavian wrote:
Hi Ursula,
I think you mean the so-called end of the proof sign, or QED (Quod Erat Demonstrandum). You can use this:
\definesymbol[QED][\mathematics{\square}] \def\qed{\wordright{\symbol[QED]}} \starttext This is the end of our proof. \qed \stoptext
In principle it is included in ConTeXt, but it seems that in the latest version I have (2024.01.23), the command \qed is broken.
Hi Otared,
\qed seems to have been disabled (line 988 in strc-con.mklx).
The \qed command works only in a description or enumeration environment. \definedescription [qedtest] [closesymbol=\symbol{qed}] \starttext \startqedtest \samplefile{lorem}\qed \stopqedtest \stoptext Wolfgang
participants (5)
-
Henning Hraban Ramm
-
Otared Kavian
-
Pablo Rodriguez
-
Ursula Hermann
-
Wolfgang Schuster