<:&lt;
>;&gt;