A literal tilde is expected to be shown by entering two tildes, at least that is what the doc say. But what if you wan the tilde to get an overbar? How do you escape that?
A literal tilde is expected to be shown by entering two tildes, at least that is what the doc say. But what if you wan the tilde to get an overbar? How do you escape that?