what is the girl's name in spider man into the spider verse

what is the girl's name in spider man into the spider verse

what is the girl's name in spider man into the spider verse. There are any references about what is the girl's name in spider man into the spider verse in here. you can look below.