&ddotseq