Nicolas Goaziou <m...@nicolasgoaziou.fr> writes: >> It would enable "complicated argument [@k1;@k2;@k3]", which is pretty >> nice. There's still no pre and post notes etc, only keys. > > Shortcuts are simple citations that ought to be available in most > back-ends. I don't see your example as a particularly straightforward > one. I suggest to use > > [(cite):@k1;@k2;@k3]
That also fine, though for the simple case slightly less readable. > Note that your example doesn't even provide an in-text equivalent while > [@k1] has @k1. But that's OK since I can easily formulate this in "human-language": "@k1, @k2, and @k3 argues ⋯" → "A1 (Y1), A2 (Y2), and A3 (Y3) argues" Whereas I can't easily do "Argument (@k1;@k2;@k3)" → "Argument (A1 Y1; A2 Y2; A3 Y3)" Perhaps I'm thinking too much in terms of text/parenthesis citations here. —Rasmus -- . . . The proofs are technical in nature and provides no real understanding
