Double Dot to double ended dragon