![](https://secure.gravatar.com/avatar/49e63acb01f2ca80efce7eed08310ce8.jpg?s=120&d=mm&r=g)
11 Apr
2013
11 Apr
'13
3:07 p.m.
On 4/11/2013 10:54 PM, john Culleton wrote:
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
\type{~/.config} -- ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------