Or... perhaps they typed it in one of the many editors (Word, Google Docs, Notion, etc) which also substitute "—" for "--" and use smart quotes?