14 Mar
2022
14 Mar
'22
12:46 p.m.
Am 14.03.22 um 18:45 schrieb Aditya Mahajan:
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
Thank you! Hraban