use mathpartir to improve typesetting