TeXや、emaxや、xeyesとか..。