![](https://secure.gravatar.com/avatar/8b3c344f0adba6016612e05447039f44.jpg?s=120&d=mm&r=g)
11 Apr
2013
11 Apr
'13
2:54 p.m.
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 -- John Culleton Wexford Press