Redirecting to Pitman shorthand