![](https://secure.gravatar.com/avatar/e5aa6984b53b8925e405ebbdbc051ad9.jpg?s=120&d=mm&r=g)
14 Mar
2022
14 Mar
'22
6: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