Jacob Carlborg Tue, 25 Sep 2012 00:15:38 -0700
On 2012-09-25 00:28, bearophile wrote:
(||) (|1|) (|1, 2|) (|1, 2, 3|)
What about: || |1| |1, 2| -- /Jacob Carlborg