From mboxrd@z Thu Jan 1 00:00:00 1970 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_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,MAILING_LIST_MULTI, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 1395 invoked from network); 30 Dec 2023 15:31:23 -0000 Received: from cgl.ntg.nl (5.39.185.202) by inbox.vuxu.org with ESMTPUTF8; 30 Dec 2023 15:31:23 -0000 Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 1246F484001 for ; Sat, 30 Dec 2023 16:29:52 +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 InerCBPsX2Tx for ; Sat, 30 Dec 2023 16:29:51 +0100 (CET) Received: from cgl.ntg.nl (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id AE221483E04 for ; Sat, 30 Dec 2023 16:29:28 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by cgl.ntg.nl (Postfix) with ESMTP id 0135C483D37 for ; Sat, 30 Dec 2023 16:29:01 +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 qkcsVi1qhY4w for ; Sat, 30 Dec 2023 16:29:00 +0100 (CET) Received: from mail-ed1-f50.google.com (mail-ed1-f50.google.com [209.85.208.50]) (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 B0E964828A1 for ; Sat, 30 Dec 2023 16:29:00 +0100 (CET) Received: by mail-ed1-f50.google.com with SMTP id 4fb4d7f45d1cf-5534dcfdd61so13171770a12.0 for ; Sat, 30 Dec 2023 07:29:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703950140; x=1704554940; darn=ntg.nl; h=content-language:content-transfer-encoding:in-reply-to:mime-version :user-agent:date:message-id:from:references:cc:to:subject:from:to:cc :subject:date:message-id:reply-to; bh=5S6P3hZ3zlikJyNIK2iZZ7y5Bc0ey3/GdS4Y21QQnvQ=; b=lIo+3H4wPTdaTAWal/ih4f8K83HlbB8D1u/6i9RZafKqJ7SzR6qrj6cVqpjBirUMHG O0dXpFD1rc5yJPluhkD8EmdADqjon/DGrpE2HBjFeEBjJGt6Y2h5lA/DcLOUeVmcNDtv GJYTFnP7fPCeDfGa0UcTb/kGfWNAibYOGqu6VXv8bxtf4lIj7mTPUETolSbB7rzkar8R 9pJViL0MWZrWFTd31RJ/tCTABcwhM3TJctInMeu+cChhkcucags9cmH3IYCV6YZlEIpJ seQ2GYpivdUGUcg+tUZpxx+NJVmAc6ztxb6PXsysCUIRb70ANBSyft4U329jr8fo7Gwx KBSg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703950140; x=1704554940; h=content-language:content-transfer-encoding:in-reply-to:mime-version :user-agent:date:message-id:from:references:cc:to:subject :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=5S6P3hZ3zlikJyNIK2iZZ7y5Bc0ey3/GdS4Y21QQnvQ=; b=jGqEyPh3uygv41hfhOjmwgZLr0s5ea3efIwZAUpdu75O9CjVjmPmr1JSSZmkewTi1k fZedVlLlNt7n2pMu6cHiisUxGozVU6Esft6QnmBlmaWb8ktrrUbbEG7qm/BNkto7rnnT ipe5fepQ3GlbpLBRwolM+mKw5xEdv51RSAlOFZKc1S9fPiLn4g/ZLuGnEItPvZyWxUtq 4Ko+b8FomAb/b0CPuyI1vjJX72boKK2Q66If9noywxsay65TNuh+Wx9SBMTu/0hcgj1g cyoq1a/oLCur8mnRj9W0ip0PjpSLH8rAc9fszIW51jNJwF8YARdrLpcYz/SnCapCrJcg fNZQ== X-Gm-Message-State: AOJu0YzmpwUidc+zoBhYtLJxA6VSzUW6KqJUqLHhHwrsS28dMjLXUX1B nm1PalCZDkwNt5PBjL5f50sdLkIzA+U= X-Google-Smtp-Source: AGHT+IHAtDIn/+3Baj1UQaswSYBN1Z+6iwzYT9PW9Yoc8oOE0HMvn9F64d/5kvclrMRYuqU6tLqD0g== X-Received: by 2002:a17:906:fd84:b0:a26:e35a:de3d with SMTP id xa4-20020a170906fd8400b00a26e35ade3dmr12864771ejb.23.1703950140118; Sat, 30 Dec 2023 07:29:00 -0800 (PST) Received: from ?IPv6:2a02:810d:a8bf:dc10::b162? ([2a02:810d:a8bf:dc10::b162]) by smtp.gmail.com with ESMTPSA id fv34-20020a17090750a200b00a26ee889b3bsm5647984ejc.158.2023.12.30.07.28.59 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 30 Dec 2023 07:28:59 -0800 (PST) To: Shiv Shankar Dayal References: <50c2e4ce-0971-f362-db01-e17ffc425dde@gmail.com> <7b782c29-786d-c564-5a17-dcf4a188d65b@gmail.com> From: Wolfgang Schuster Message-ID: <29288e3b-c793-2f7f-4ea5-d0128895702f@gmail.com> Date: Sat, 30 Dec 2023 16:28:57 +0100 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 PostboxApp/7.0.60 MIME-Version: 1.0 In-Reply-To: Content-Language: en-US Message-ID-Hash: YNNGNYMWXE6CO2VS5AQI7LH6JV4LG73H X-Message-ID-Hash: YNNGNYMWXE6CO2VS5AQI7LH6JV4LG73H X-MailFrom: wolfgang.schuster.lists@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 CC: mailing list for ConTeXt users X-Mailman-Version: 3.3.8 Precedence: list Reply-To: mailing list for ConTeXt users Subject: [NTG-context] Re: old style factorial symbol and theorems List-Id: mailing list for ConTeXt users Archived-At: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Content-Type: text/plain; charset="utf-8"; format="flowed" Content-Transfer-Encoding: base64 U2hpdiBTaGFua2FyIERheWFsIHNjaHJpZWIgYW0gMzAuMTIuMjAyMyB1bSAwOTo0MDoNCj4gSSB0 cmllZCB0aGlzIGZvciBvbGQgc3R5bGUgZmFjdG9yaWFsLCBidXQgaXQgYXBwZWFycyBtdWNoIGJl bG93IHRoZSANCj4gbGluZSBpbiB3aGljaCBpdCBpcyB1c2VkLiBIb3cgY2FuIEkgYnJpbmcgaXQg dXA/DQoNClJlcGxhY2UgdGhlIFxpbm1mcmFtZWQgY29tbWFuZCB3aXRoIFxtY2ZyYW1lZC4NCg0K XGRlZmluZVsxXVxvbGRmYWN0DQogwqAge1xtY2ZyYW1lZFtmcmFtZT1vZmYsc3RydXQ9bm8sbGVm dGZyYW1lPW9uLGJvdHRvbWZyYW1lPW9uXXsjMX19DQoNCldvbGZnYW5nDQoNCl9fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJz IGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50 Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHBzOi8vbWFpbG1hbi5udGcubmwvbWFpbG1hbjMvbGlzdHMv bnRnLWNvbnRleHQubnRnLm5sCndlYnBhZ2UgIDogaHR0cHM6Ly93d3cucHJhZ21hLWFkZS5ubCAv IGh0dHBzOi8vY29udGV4dC5hYW5oZXQubmV0IChtaXJyb3IpCmFyY2hpdmUgIDogaHR0cHM6Ly9n aXRodWIuY29tL2NvbnRleHRnYXJkZW4vY29udGV4dAp3aWtpICAgICA6IGh0dHBzOi8vd2lraS5j b250ZXh0Z2FyZGVuLm5ldApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo=