unencircled
not defined yet