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.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, 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 F287C2162D for ; Fri, 9 Feb 2024 20:11:58 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 4E9C5483C33 for ; Fri, 9 Feb 2024 20:09:29 +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 zV_Y_Z7ZSaKY for ; Fri, 9 Feb 2024 20:09:29 +0100 (CET) Received: from cgl.ntg.nl (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id C206148423F for ; Fri, 9 Feb 2024 20:08:38 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 660E6483F64 for ; Fri, 9 Feb 2024 20:07:55 +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 Wwvb1sCRdM6r for ; Fri, 9 Feb 2024 20:07:55 +0100 (CET) Received: from mout.gmx.net (mout.gmx.net [212.227.15.15]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by cgl.ntg.nl (Postfix) with ESMTPS id 059C5483F69 for ; Fri, 9 Feb 2024 20:07:54 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.es; s=s31663417; t=1707505674; x=1708110474; i=oinos@gmx.es; bh=s7JnhTmffNMsAs9h9aqQZWf7GkzI4mPG9u+hz8dUchg=; h=X-UI-Sender-Class:Date:Subject:To:References:From:In-Reply-To; b=qFEailtmaGUEfblPB6V0YnOR+TCowqKlGFRsb/UxpIniLzkah/o4uoJP1BFWMSPR 8oQRcMk7D8xxlMWRui0gD9GfGo0Qmad8Ug2zqRWCk2QfXUtuG5cKzl6eB/p1opSLm gNDQlLyPGrTnHvOTtHoEY6RqGyBCLLzPZ1whPxZ3EFIeDNIKHg2tb1BJVl7HYYG8u 31c+aze6OqHFrvggZ3vCzOr23LR3WOg2YijEizyXQz8UAvpgWAeYy9TwGUhYK42hf iic+ekZmasWGH7Y5fPms2N5q+wpYwdhLnYBgJJf9WaDES7UcAQr4o6pP3gJur6iAz w/y8kMf6LOFqYDl11g== X-UI-Sender-Class: 724b4f7f-cbec-4199-ad4e-598c01a50d3a Received: from [192.168.1.101] ([90.166.54.35]) by mail.gmx.net (mrgmx005 [212.227.17.184]) with ESMTPSA (Nemesis) id 1MaJ3n-1rTBCZ1dBt-00WHHE for ; Fri, 09 Feb 2024 20:07:54 +0100 Message-ID: <713fafec-76eb-3948-ab44-2497d9317580@gmx.es> Date: Fri, 9 Feb 2024 20:07:53 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.15.1 Content-Language: en-US To: ntg-context@ntg.nl References: <7CF9A5D2-AED1-4694-8B46-1D9BF55CB887@gmail.com> In-Reply-To: <7CF9A5D2-AED1-4694-8B46-1D9BF55CB887@gmail.com> X-Provags-ID: V03:K1:bI9f2SySIhWX6yxVLmSr/Dm8ga4kRlA5ZoN2k7fxAZGm/t4qdBl 7QmcMswd1u67xnoS0lfDh14pqjGGIgqLEb0ZYLKUwl7yTCLab+ChbQpjDz8n10AdEA/LU+s PPQ2AmVkiaGLo2IZVj38bgtols29SwhXLl4Q3drj/YYUjRTR+/B4VXG5E0j8L2QKTDUra89 7TA5aWca3bBWeNZevvo0g== UI-OutboundReport: notjunk:1;M01:P0:3E38NLEtZoI=;ZrWm/skP/UXtnB9NhZkgSFJLZgO vlMUaX1u7mqGB4TzdPS8y8ulS3OdhsOzvz6axgwfFazLJN0lKOjV+ytBEXTnu4p2WbS/3KAxX DBQ+yvvjiaaQZdC8pJoMq9lUjo+Oj0/nA/LH2SmpebFQNxOcldCtbu6KQsnG32TrVHA92pHXb 6h8bljpeKoesXq91wcsG9F+oPuyl+X5YwFHBxFpN1UGrqhASQDwzfmcTyMDmG/+MJ0f/LN2F8 yMP0qoecniza1vhabUPQIiqQUiIHIZx1S4qCfbLcYWwI691z4gdA0gQIAdZGcSHKqhyw2bhQr TH1GYpeCBtjlawJY2sikp5b1XsO+8mQ8H8jhHhmjLXrR5cwyQkviSTcb8yzM24tycyx4dmiou lGRhsIaPVUckiB9UjPsmtcAG3XJzLPql0kOb2oglRHd+8vqsYcuUO2CkonbNwoy2vq474JDqs K+COpjnsi9+hhCvOHLXWRKTqM+7042JLZHB2ufMia5KmI2ZMdip8p4gBHdRkg1mngLTwL0CrP BldAWhBVrGBAiAmE/XgNyvlnqVg8m4UNG2Zy+KVmbATCeZllJKB97Cu8nt/fZ/h+eF2Hszx9R 9YTsOWyfNtSZmHZaqfClwksQepxaGcspt4Yr8sJSVd7Gv31afg2WHqbAbIP/550VGFy5qBmmm BJt4FpD1nsBCJkC9nM/88RqTNJ6dYqy+f4us2+EK6VbeE9f2F08c/tV35VVrTRe8WlmwpV/YR WOJ6f/Nu4BArCxk7VKI9OBQHmHgrtBaURraDkeuutpJiP8TL3hU5Pdl7P/nLgj3BcAgJDJtsK OEnyz3vh6xL3Tvw911n4MX6VoAo1gPjPiIX2A+GDrnves= Message-ID-Hash: Z2APUB7QQ4HRVHBT26X2FWWZX3XXDBVD X-Message-ID-Hash: Z2APUB7QQ4HRVHBT26X2FWWZX3XXDBVD X-MailFrom: oinos@gmx.es 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: From: Pablo Rodriguez via ntg-context Cc: Pablo Rodriguez Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit 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 ___________________________________________________________________________________ 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 ___________________________________________________________________________________