It's built completely from scratch, but the math layout algorithm is based on TeX.