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
On Mon, 14 Mar 2022 18:36:08 +0100
Henning Hraban Ramm via ntg-context wrote:
> How do I get the default tilde character from a font?
\starttext
\startasciimode
a~b
\stopasciimode
a\textasciitilde b
\stoptext
Marco
Henning Hraban Ramm via ntg-context schrieb am 14.03.2022 um 18:36:
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 ~)
\lettertilde
Wolfgang
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
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
___
If your