During the lecture I saw that

{(10@20) . (30@40)}
is printed as
{(10@20). (30@40)}

and I think that it would much nicer to have

{(10@20) . (30@40)}

Reply via email to