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