Zulip Chat Archive
Stream: triage
Topic: issue !4#13496: `notation3` doesn't support unparenthesiz...
Random Issue Bot (Oct 25 2025 at 14:10):
Today I chose issue #13496 for discussion!
notation3 doesn't support unparenthesized multiple binders like Π₀ i j, δ i j
Created by @Miyahara Kō (@Komyyy) on 2024-06-04
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 25 2025 at 14:11):
Today I chose issue #13496 for discussion!
notation3 doesn't support unparenthesized multiple binders like Π₀ i j, δ i j
Created by @Miyahara Kō (@Komyyy) on 2024-06-04
Labels: t-meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Miyahara Kō (Dec 18 2025 at 20:38):
Yes. still relevant:
Screenshot_20251219-053905.png
Last updated: Dec 20 2025 at 21:32 UTC