我想使用$\sim$“大约”这个符号。例如：
\documentclass{article}
\begin{document}
There are $\sim 10^{80}$ atoms in the universe.
\end{document}
我认为我需要将其声明$\sim$为某种一元数学运算符，以使间距正确！怎么做？
编辑：
这里：http://en.wikipedia.org/wiki/Tilde可以这样理解，它既$\sim$可以用作二元关系运算符，也可以用作一元运算符，表示“大约”。
常见用途
此符号（在英语中）有时表示“大约”，例如：“~30 分钟前”表示“大约 30 分钟前”。[2] 它可以表示“类似于”，[3] 包括“与……同数量级”，[4] 例如：“x ~ y”表示 x 和 y 数量级相同。另一个近似符号是 ≈，表示“大约等于”。
答案1
这\sim符号被归类为关系符号。根据 TeX 规则，组合相关订单（关系后跟一个普通符号）导致它们之间出现一个粗空格。
二元运算的情况（垃圾桶）则不同：它们被视为二元运算仅有的如果之前和接下来是与二进制运算兼容的数学原子，例如
奥德宾奥德
奥德·宾行动
和别的 （操作代表“操作员”）。[这并非全部事实，但大致接近事实。当二元运算“不合适”时，它会被视为奥德原子。这就是为什么 中没有插入空格的原因$-1$。
每一个数学符号都可以通过用括号括起来变成一个普通的原子。TeX 不会在普通符号之间插入空格，因此
$\sim 10^{80}$
将导致
~ 10 80
尽管
${\sim}10^{80}$
会给
~10 80
恐怕没有自动方法可以只使用\sim。您可以定义
\newcommand{\unsim}{\mathord{\sim}}
（\mathord只是为了清楚起见，额外的括号可以起到同样的效果）并\unsim在需要“一元”符号时使用。
答案2
我遇到了同样的问题，想使用\sim(一元) 逻辑否定运算符。基于上述 egreg 的回答，另一个选择是简单地重新定义命令，\sim使其产生不带空格的波浪号：
\let\oldsim\sim
\renewcommand{\sim}{{\oldsim}}