Fighting with Latex is so ridiculous. Why the hell is it so hard to get a proper literal tilde‽
Searching