use @ instead of \oplus, add missing floor brackets, and tweak fonts