11 Apr
2013
11 Apr
'13
11:04 p.m.
Am 11.04.2013 um 22:54 schrieb john Culleton
In a non-math situation where I just wish to print a literal tilde to indicate the user's directory in Linux what do I use?
such as: ~/.config
\starttext 1. \lettertilde 2. \textasciitilde \asciimode 3. ~ \stoptext Wolfgang