implement new notation: ~~<` Con de Vert `>~~