: v & gt;