<human>:  Where does the name Faustus come from in the play, ‘The Tragical History of Doctor Faustus’ by Christopher Mar?
<bot>: The name Faustus comes from the Latin word faustus, which means “soldier” or “warrior”. In the play, Faustus is a soldier who sells his soul to the devil in exchange for knowledge. The name is also used to refer to a person who has made a deal with the devil.