Minor cosmetic updates, larr, rarr, oplus, etc.