<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”. The name was originally given to the Roman god Mars, and it was later transferred to Faustus, a legendary magician who sold his soul to the devil in exchange for knowledge and power.