Skip to main content
8 events
when toggle format what by license comment
Jul 7, 2019 at 10:13 comment added Anton Salikhmetov My intention was that $\sqsubset$ would denote the partial order, not an operation.
Jul 7, 2019 at 10:10 history edited Anton Salikhmetov CC BY-SA 4.0
added 56 characters in body
Jul 7, 2019 at 10:07 comment added YCor I don't understand what you mean by parenthesis-free products such as $c \rhd a \sqsubset c \rhd b$ or $4 \sqsupset 1 \sqsubset 2 \sqsubset 3$.
Jul 7, 2019 at 10:05 comment added Anton Salikhmetov Added (a sketch of) an example and some background, although I doubt the latter is very useful in this case. I hope to find more examples of such and similar structures and their properties in order to be able to implement them in software.
Jul 7, 2019 at 10:00 history edited Anton Salikhmetov CC BY-SA 4.0
added 590 characters in body; edited tags
Jul 7, 2019 at 8:35 comment added YCor Some motivation, and some example would be very welcome.
Jul 7, 2019 at 8:31 history edited Anton Salikhmetov CC BY-SA 4.0
added 26 characters in body
Jul 7, 2019 at 8:24 history asked Anton Salikhmetov CC BY-SA 4.0