Definition talk:Left Shift Operator

From ProofWiki
Jump to navigation Jump to search

About this:

$\map L {\tuple {x_1, x_2, x_3, \ldots}} = \tuple {x_2, x_3, \ldots}$

Surely the argument of a mapping is a tuple by default? Hence you should not need the inner brackets, and instead should be able to render it:

$\map L {x_1, x_2, x_3, \ldots} = \tuple {x_2, x_3, \ldots}$

... which makes visual presentation less complicated. What say? --prime mover (talk) 21:10, 18 February 2021 (UTC)

I don't mind. I simply followed the book which had double parenthesis. Also, I woke up 18 hours ago and was trying to set up 4 contributions at once.--Julius (talk) 21:26, 18 February 2021 (UTC)
Certain authors are less sensitive to visual clutter than others. Amended, so as to match $\mathsf{Pr} \infty \mathsf{fWiki}$ convention for mapping on a domain of tuples. --prime mover (talk) 22:58, 18 February 2021 (UTC)