I wanted to see if covariant and contravariant coordinates could be represented in Mathematica and settled on using underscripts and overscripts, since superscripts are exponents. I'm posting the notebook as images and also attaching it. You may have to magnify the page in your browser to be able to read the code in the images.
Attachments: