TeX source:

a+\otimes b+ = (a^n, b^m), n\geq1, m\geq1