Latex in "peeking into JMM".