14 Mar
2022
14 Mar
'22
5:45 p.m.
On Mon, 14 Mar 2022, Henning Hraban Ramm via ntg-context wrote:
Hi, I’ve a stupid question: How do I get the default tilde character from a font?
~ is a fixed space \texttilde gives a tilde accent \utfchar{0x007E} yields a space (probably the same as ~)
\textasciitilde Aditya