What's the best practice to typeset Knuth's up-Arrow notation?

\uparrow and \upuparrow are relation symbols (according to unimath-symbols.pdf). But in Knuth's up arrow notation, these should be a binary operator. So, how should on treat this difference?

Secondly, should double up arrows be typeset as \upuparrow or as \uparrow\uparrow, which illustrates the double nature better.

  • For the first part, you could define a command using \mathbin,as in \newcommand\kuparrow{\mathbin{\uparrow}}. Apr 22, 2013 at 19:20

1 Answer 1


There is a command \mathbin for creation of binary operators, so something like

$a\binuparrow b$


As to your second questions, tastes differ

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .