underdotted is the same as dotbelow