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 question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________