a mathop function on boxed args is the box of the function on the unboxed args.
update README with more spacing around ascii tables.