Grahal is gelijk aan 3 ↑↑↑↑ 3 {\displaystyle 3 \uparrow \uparrow \uparrow \uparrow 3} in Knuth's pijlomhoognotatie. Grahal is gelijk ann {3,3,4} in BEAF