softmath: Add remquo
3 files changed