make :: and <:> double lines again