undercircled
not defined yet