fix: incorrect arrow orientations in grind syntax#8517

eric-wieser wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:patch-50eric-wieser/lean4:patch-50Copy head branch name to clipboard