In anatomy, the thumb extensors are: