14 Mar
2022
14 Mar
'22
5:36 p.m.
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 ~) Hraban