This is TeX, Version 3.14159 (Web2C 7.3.1) (format=tex 2001.3.27) 10 FEB 2002 22:04 **cartan343.tex (cartan343.tex (/home/cass/texinputs/psfont.defs \itfam=\fam8 \slfam=\fam9 \bffam=\fam10 \ttfam=\fam11 ) [1] ) Output written on cartan343.dvi (1 page, 404 bytes).