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)}
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)}