Sobresescrito e Subscrito

Subscrito e subreescrito são obtido usando os caracteres especiais _ e ^ respectivamente. Assim a identidade

ds² = dx₁² + dx₂² + dx₃² - c² dt²

é obtida pela digitação de

\[ ds^2 = dx_1^2 + dx_2^2 + dx_3^2 - c^2 dt^2 \]

Podendo também ser obtido pela digitação de

\[ ds^2 = dx^2_1 + dx^2_2 + dx^2_3 - c^2 dt^2 \]

isto porque quando um sobreescrito é para parecer acima de um subscrito, é irrelevante se o sobreescrito ou subscrito é o primeiro a ser especificado.

Onde mais do que um caracter ocorre em um sobreescrito ou subscrito, os caracteres envolvidos devem ser agrupados em chaves. Por exemplo, o polinômio x¹⁷ - 1 é obtido digitando-se $x^{17} - 1$.

Não é possível digitar expressões tais como $s^n^j$, visto que isto é ambíguo e poderia ser interpretado um ou outro como s^{n j} ou como s^nj. A primeira destas alternativas é obtida pela digitação de $s^{n j}$, a segunda pela digitação de $s^{n^j}$. Comentário semelhante aplica-se a subscritos. Note, desta maneira, pode-se obter sobreescrito duplo (onde um sobreescrito é colocado em um sobreescrito) e subscrito duplo.

É às vezes necessário obter expressões em que o sequenciamento horizontal do subscrito é significante. Pode-se, então, usar em `agrupamento vazio' {} para separar sobreescrito e subscritos que podem seguir um outro. Por exemplo, a identidade

R_i^j_kl = g^jm R_imkl = - g^jm R_mikl = - R^j_ikl

pode ser obtido digitando-se

\[ R_i{}^j{}_{kl} = g^{jm} R_{imkl} 
 = - g^{jm} R_{mikl} = - R^j{}_{ikl} \]