Compacted MATH