From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from cgl.ntg.nl (Cgl.ntg.nl [5.39.185.202]) by inbox.vuxu.org (Postfix) with ESMTP id 2E8FB22D55 for ; Thu, 8 Feb 2024 22:41:35 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 5A1A848141C for ; Thu, 8 Feb 2024 22:39:12 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at cgl.ntg.nl Received: from cgl.ntg.nl ([127.0.0.1]) by localhost (cgl.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id owXYtmqCcWL2 for ; Thu, 8 Feb 2024 22:39:11 +0100 (CET) Received: from cgl.ntg.nl (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 3AFD04840C0 for ; Thu, 8 Feb 2024 22:37:53 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 61C87483D85 for ; Thu, 8 Feb 2024 22:37:11 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at cgl.ntg.nl Received: from cgl.ntg.nl ([127.0.0.1]) by localhost (cgl.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id KO-bNbZ5TUIQ for ; Thu, 8 Feb 2024 22:37:10 +0100 (CET) Received: from mail-wm1-f51.google.com (mail-wm1-f51.google.com [209.85.128.51]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by cgl.ntg.nl (Postfix) with ESMTPS id EBE84483D7B for ; Thu, 8 Feb 2024 22:37:10 +0100 (CET) Received: by mail-wm1-f51.google.com with SMTP id 5b1f17b1804b1-41047395814so2706145e9.1 for ; Thu, 08 Feb 2024 13:37:10 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707428230; x=1708033030; darn=ntg.nl; h=message-id:in-reply-to:to:references:date:subject:mime-version:from :from:to:cc:subject:date:message-id:reply-to; bh=QYry4YGvu9QCPvM0rckmbAQr/Bq77aiASts2eeIXDb4=; b=ndFot3df1q4ZgQqkYeQ7wdmSZfB/ir48ByJCI79H8wChy7EWnY07bPPfZk50nY9a22 lUE8FUytrF8PMaHprVoTRRz7cENLK1TC/AcuMO+JEpVrIbDKv3GkmkzkuTzPDac3jV3G SARvusKyrRbESQ/50kkJRqMr5Xyt1Upl3aIto4smqyCkEfihmXDNEyhoeatdJKorxWqG 88M42kk4Y+394tCyXFtQ6SL4tSwg+HWekQlj0bqwi0caAq0SUhgqPEbHRpJuDESyIIbb CyvDi7sSA4YvJnC2AxrZWQqIB8ql8DeWY8Yx1OCOMRbnjKb6HYvWSkl50YTBErK64MIe jNdw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707428230; x=1708033030; h=message-id:in-reply-to:to:references:date:subject:mime-version:from :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=QYry4YGvu9QCPvM0rckmbAQr/Bq77aiASts2eeIXDb4=; b=YwSxjeZw09LPXKFWjzKXbY5v2F51kBelr1No2ky9JGlPrzgxQBmE4i34RHZstaT6Jk QnGVY3MRu7dF3VNpdyeMPyD5TJQXadFNuwCzLXz3/C5FMozNxxfXL58AH2zi0XzNUXKF FooKgT8sO1VhoxDGiW9qQnp+sLhX6AJRObSfKCCrRR8WptTt7g5SER1Vu8EbrdlhqEfb vbwuZS0+xMjkB/63tUz4zFVF4V7AtaXM7UExhIyeWr0bxkHMttMcD8DdGPzarGW4sO2+ 3k/jvWfLj+ZdZxdxgD4LJg82r7X2FWAjN9fy1c0Sryo3Uj1pIiQFY3+J0/TKgW+YCXnq Z/Ew== X-Gm-Message-State: AOJu0YzzhaQiOzVge21grbYkGyMfqj3EVGs3UMjYJSQ4TMzrbpUhVZyJ 9HUNmQohA/80wrmUVXK+/x44ME5HP3klMXHy1qZ7sPV7RtmQZAduCh2c+7bujA4= X-Google-Smtp-Source: AGHT+IHDZJZfoADK9tN0KXwuZVh5wD0KoGmezZwQruni/Ky4Ksp+2szPJZn4Fkf1T6d4gv69V0YZqA== X-Received: by 2002:a5d:4e51:0:b0:33b:4906:1b44 with SMTP id r17-20020a5d4e51000000b0033b49061b44mr477316wrt.36.1707428230080; Thu, 08 Feb 2024 13:37:10 -0800 (PST) Received: from smtpclient.apple ([2a01:e34:ec02:4760:e5b9:2ef6:3f3:9147]) by smtp.gmail.com with ESMTPSA id r16-20020adfce90000000b0033b47ee01f1sm233590wrn.49.2024.02.08.13.37.09 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 08 Feb 2024 13:37:09 -0800 (PST) From: Otared Kavian Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Date: Thu, 8 Feb 2024 22:37:08 +0100 References: To: mailing list for ConTeXt users In-Reply-To: Message-Id: <7CF9A5D2-AED1-4694-8B46-1D9BF55CB887@gmail.com> X-Mailer: Apple Mail (2.3654.120.0.1.15) Message-ID-Hash: 4V5YDWJ37BGXLHJY735JVYDJESZPF4QI X-Message-ID-Hash: 4V5YDWJ37BGXLHJY735JVYDJESZPF4QI X-MailFrom: otared@gmail.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header X-Mailman-Version: 3.3.8 Precedence: list Reply-To: mailing list for ConTeXt users Subject: [NTG-context] Re: Square right aligned List-Id: mailing list for ConTeXt users Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Content-Type: multipart/mixed; boundary="===============0604181242948298748==" --===============0604181242948298748== Content-Type: multipart/alternative; boundary="Apple-Mail=_AFA2A46D-7DBB-4619-8244-D56854410217" --Apple-Mail=_AFA2A46D-7DBB-4619-8244-D56854410217 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 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: >=20 > Dear List,=20 >=20 > I am at Home and have the following example.: >=20 > \starttext > \margintext {1.1.1} > {\bf Beispiel 3.2.17 (Vertauschung von All- und Existenzquantor).} > \par > {\it Sei M die Menge aller M=C3=A4nner und F die Menge aller Frauen. = Die > Aus-\par > sage h(m, f) sei =E2=80=9Dm ist verliebt in f=E2=80=9C. Unter diesen = Voraussetzungen > machen Sie sich die Bedeutung der beiden Aussagen = klar.\startalignment[right]\square\stopalignment}\stoptext} >=20 > There should be a sign like this =E2=96=A1 at the end of the proof.=20 >=20 > Uschi > = __________________________________________________________________________= _________ > If your question is of interest to others as well, please add an entry = to the Wiki! >=20 > maillist : ntg-context@ntg.nl / = https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl = > webpage : https://www.pragma-ade.nl / = https://context.aanhet.net (mirror) > archive : https://github.com/contextgarden/context = > wiki : https://wiki.contextgarden.net = > = __________________________________________________________________________= _________ Otared Kavian e-mail: otared@gmail.com Phone: +33 6 88 26 70 95 --Apple-Mail=_AFA2A46D-7DBB-4619-8244-D56854410217 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 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 <ursula.hermann@univie.ac.at> 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=C3=A4nner und F = die Menge aller Frauen. Die
Aus-\par
sage h(m, f) sei =E2=80=9Dm ist verliebt in = f=E2=80=9C. Unter diesen Voraussetzungen
machen = Sie sich die Bedeutung der beiden Aussagen = klar.\startalignment[right]\square\stopalignment}\stoptext}

There should be a sign like this =E2=96=A1 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 / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nlwebpage =  : https://www.pragma-ade.nl / https://context.aanhet.net (mirror)
archive  : https://github.com/contextgarden/context
wiki =     : https://wiki.contextgarden.net
_______________________________________________________________= ____________________

Otared Kavian
Phone: +33 6 88 26 70 95




= --Apple-Mail=_AFA2A46D-7DBB-4619-8244-D56854410217-- --===============0604181242948298748== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline ___________________________________________________________________________________ If your question is of interest to others as well, please add an entry to the Wiki! maillist : ntg-context@ntg.nl / https://mailman.ntg.nl/mailman3/lists/ntg-context.ntg.nl webpage : https://www.pragma-ade.nl / https://context.aanhet.net (mirror) archive : https://github.com/contextgarden/context wiki : https://wiki.contextgarden.net ___________________________________________________________________________________ --===============0604181242948298748==--