Original: Since 19 November 2008, the Prime Minister has been John Key of the National Party.
Simplified: Define $rightup = align: left shift: (25,-1)