What was John Tyler's mother's name?

John Tyler's fathers name was John, he was a planter. His mothers name was Mary Armistead who died when Tyler was only seven.