https://www.dict.cc/englisch-deutsch/Knuth%27s+up+arrow+notation.html