J and K are extremely terse, though. They just chose other ASCII symbols that exist on everyone's keyboard.