the parser handles the notation "2 times -> box", so matching that
support for double chevrons as per spec (although probably not needed)