showTex x -- convert x to TeX format, and display it on the screen.
The code for this function is Unix dependent at the moment.
See also:
![[top]](top.gif)
![[index]](index.gif)