And yes, I know it's a reserved character. But having to type \textasciitilde{} is…

…sigh.

2016-12-05T01:58:11Z