排版 Knuth 的向上箭头符号的最佳做法是什么？
\uparrow和\upuparrow是关系符号（根据unimath-symbols.pdf）。但在 Knuth 的向上箭头符号中，它们应该是二元运算符。那么，应该如何处理这种差异？
其次，双向上箭头应排版为\upuparrow或\uparrow\uparrow，以更好地体现其双重性质。
答案1
有一个\mathbin用于创建二元运算符的命令，例如
\newcommand\binuparrow{\mathbin{\uparrow}}
$a\binuparrow b$
作品。
至于你的第二个问题，口味不同