From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/110878 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Aditya Mahajan Newsgroups: gmane.comp.tex.context Subject: Re: Math: Nested Cases? Date: Thu, 18 Mar 2021 14:36:37 -0400 (EDT) Message-ID: References: Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17759"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Alpine 2.23 (LNX 453 2020-06-18) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Thu Mar 18 19:37:15 2021 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane-mx.org Original-Received: from zapf.boekplan.nl ([5.39.185.232] helo=zapf.ntg.nl) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lMxWD-0004VG-PD for gctc-ntg-context-518@m.gmane-mx.org; Thu, 18 Mar 2021 19:37:13 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 5128B281A29; Thu, 18 Mar 2021 19:36:43 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id pBqYbryinVpf; Thu, 18 Mar 2021 19:36:42 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 1DDF4281A2A; Thu, 18 Mar 2021 19:36:42 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 5825D281A28 for ; Thu, 18 Mar 2021 19:36:41 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id bT566o4kJY34 for ; Thu, 18 Mar 2021 19:36:39 +0100 (CET) Received-SPF: Softfail (mailfrom) identity=mailfrom; client-ip=132.206.73.2; helo=orford.cim.mcgill.ca; envelope-from=adityam@umich.edu; receiver= Original-Received: from orford.cim.mcgill.ca (smtp.cim.mcgill.ca [132.206.73.2]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id D2A712819CC for ; Thu, 18 Mar 2021 19:36:39 +0100 (CET) Original-Received: from adi-thinkpad (198-48-192-62.cpe.teksavvy.com [198.48.192.62]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: adityam) by orford.cim.mcgill.ca (Postfix) with ESMTPSA id 7B3C718669C for ; Thu, 18 Mar 2021 14:36:37 -0400 (EDT) In-Reply-To: X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.26 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl Original-Sender: "ntg-context" Xref: news.gmane.io gmane.comp.tex.context:110878 Archived-At: T24gVGh1LCAxOCBNYXIgMjAyMSwgV2ViZXIsIE1hdHRoaWFzIHdyb3RlOgoKPiBIZWxsbywKPiAK PiBJcyBpdCBwb3NzaWJsZSB0byBuZXN0IGNhc2VzIGluIG1hdGgsIGxpa2Ugc286CgpJbiBwcmlu Y2lwbGUsIGl0IHNob3VsZCBiZS4gQnV0IHdlIG5ldmVyIHRlc3RlZCB0aGlzIGFuZCBJIHN1c3Bl Y3QgdGhhdCB0aGVyZSBpcyBzb21lIG1hY3JvIHdoaWNoIGRvZXNuJ3QgZ2V0IGluaXRpYWxpemVk IGNvcnJlY3RseSBpbiBuZXN0ZWQgY2FzZXMuIAoKPiBcc3RhcnR0ZXh0Cj4gXHN0YXJ0Zm9ybXVs YQo+IHg9Cj4gICAgICAgIFxzdGFydGNhc2VzW2FsaWduPXtyaWdodCxsZWZ0fSxkaXN0YW5jZT0z cHRdCj4gICAgICAgICAgICAgICAgXE5DICBhIFxOQyA9Cj4gICAgICAgICAgICAgICAgICAgICAg ICBcc3RhcnRjYXNlc1thbGlnbj17cmlnaHQsbGVmdH0sZGlzdGFuY2U9M3B0XQo+ICAgICAgICAg ICAgICAgICAgICAgICAgXE5DICAxIFxOQyAgXHRleHR7Y2FzZSAgYTF9IFxOUgo+ICAgICAgICAg ICAgICAgICAgICAgICAgXE5DICAyIFxOQyAgXHRleHR7Y2FzZSAgYTJ9IFxOUgo+ICAgICAgICAg ICAgICAgICAgICAgICAgXHN0b3BjYXNlcwo+ICAgICAgICAgICAgICAgIFxOUgo+ICAgICAgICAg ICAgICAgIFxOQyBiIFxOQyA9Cj4gICAgICAgICAgICAgICAgICAgICAgICBcc3RhcnRjYXNlc1th bGlnbj17cmlnaHQsbGVmdH0sZGlzdGFuY2U9M3B0XQo+ICAgICAgICAgICAgICAgICAgICAgICAg XE5DICAzIFxOQyAgXHRleHR7Y2FzZSAgYjN9XE5SCj4gICAgICAgICAgICAgICAgICAgICAgICBc TkMgNCAgXE5DICBcdGV4dHtjYXNlICBiNH1cTlIKPiAgICAgICAgICAgICAgICAgICAgICAgIFxz dG9wY2FzZXMKPiAgICAgICAgICAgICAgICBcTlIKPiAgICAgICAgXHN0b3BjYXNlcwo+IFxzdG9w Zm9ybXVsYQo+IFxzdG9wdGV4dAo+IAo+IEkgZ2V0IGFuIGVycm9yIGFib3V0IGEgbWlzc2luZyAk IHdoZW4gSSB0cnkgYSBuZXN0ZWQgc3RhcnQvc3RvcC1jYXNlcy4KClRoZSBtaXNzaW5nICQgZXJy b3IgaXMgYmVjYXVzZSB0aGUgY2FzZXMgZW52aXJvbm1lbnQgdXNlcyB0d28gY29sdW1uIHNlcGFy YXRvcnMgKGZvciB0aGUgc2Vjb25kIGNvbHVtbik6IFxOQyBmb3IgIm5vcm1hbCB0ZXh0IGNvbHVt biIgYW5kIFxNQyBmb3IgIm1hdGggY29sdW1uIi4gVGhpcyBpcyBzbyB0aGF0IGluIHRoZSB0eXBp Y2FsIGNhc2UsIHlvdSBjYW4ganVzdCB1c2U6Cgpcc3RhcnRmb3JtdWxhCiAgeCA9IFxzdGFydGNh c2VzCiAgICAgIFxOQyAxIFxOQyBjYXNlICRhXzEkIFxOUgogICAgICBcTkMgMiBcTkMgY2FzZSAk YV8yJCBcTlIKICAgICAgXHN0b3BjYXNlcwpcc3RvcGZvcm11bGEKClNvLCBpbiB5b3VyIGNhc2Vz LCB5b3Ugc2hvdWxkIGhhdmUgdXNlZDoKClxzdGFydHRleHQKXHN0YXJ0Zm9ybXVsYQp4PQogICAg ICAgXHN0YXJ0Y2FzZXNbYWxpZ249e3JpZ2h0LGxlZnR9LGRpc3RhbmNlPTNwdF0KICAgICAgICAg ICAgICAgXE5DICBhIFxNQyA9CiAgICAgICAgICAgICAgICAgICAgICAgXHN0YXJ0Y2FzZXNbYWxp Z249e3JpZ2h0LGxlZnR9LGRpc3RhbmNlPTNwdF0KICAgICAgICAgICAgICAgICAgICAgICBcTkMg IDEgXE5DICBjYXNlICBhMSBcTlIKICAgICAgICAgICAgICAgICAgICAgICBcTkMgIDIgXE5DICBj YXNlICBhMiBcTlIKICAgICAgICAgICAgICAgICAgICAgICBcc3RvcGNhc2VzCiAgICAgICAgICAg ICAgIFxOUgogICAgICAgICAgICAgICBcTkMgYiBcTUMgPQogICAgICAgICAgICAgICAgICAgICAg IFxzdGFydGNhc2VzW2FsaWduPXtyaWdodCxsZWZ0fSxkaXN0YW5jZT0zcHRdCiAgICAgICAgICAg ICAgICAgICAgICAgXE5DICAzIFxOQyAgY2FzZSAgYjNcTlIKICAgICAgICAgICAgICAgICAgICAg ICBcTkMgNCAgXE5DICBjYXNlICBiNFxOUgogICAgICAgICAgICAgICAgICAgICAgIFxzdG9wY2Fz ZXMKICAgICAgICAgICAgICAgXE5SCiAgICAgICBcc3RvcGNhc2VzClxzdG9wZm9ybXVsYQpcc3Rv cHRleHQKCgpCdXQsIHNvbWV0aGluZyBnb2VzIHdyb25nIGFuZCB0aGF0IGRvZXNuJ3Qgd29yayBl aXRoZXIgKHdpdGggYSBkaWZmZXJlbnQgZXJyb3IgbWVzc2FnZSkuIEkgc3VzcGVjdCB0aGF0IHNv bWV0aGluZyBpcyBub3QgZ2V0dGluZyBpbml0aWFsaXplZCBjb3JyZWN0bHkgYXQgXHN0YXJ0Y2Fz ZXMgYW5kIHdpbGwgbG9vayBpbnRvIHRoYXQuIAoKQWRpdHlhCl9fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGws IHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2khCgptYWlsbGlzdCA6IG50Zy1jb250ZXh0 QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQK d2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUubmwgLyBodHRwOi8vY29udGV4dC5hYW5o ZXQubmV0CmFyY2hpdmUgIDogaHR0cHM6Ly9iaXRidWNrZXQub3JnL3BoZy9jb250ZXh0LW1pcnJv ci9jb21taXRzLwp3aWtpICAgICA6IGh0dHA6Ly9jb250ZXh0Z2FyZGVuLm5ldApfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwo=