Dentro del modo matemático podremos hacer que una expresión 'exp1' aparezca como subíndice de una expresión 'exp2' escribiendo exp2_{exp1}. Análogamente, podemos hacer que 'exp1' aparezca como superíndice de 'exp2' escribiendo exp2^{exp1}.
Si la expresión que debe ser representada como subíndice consta únicamente de un caracter se pueden omitir las llaves delimitadoras. Por ejemplo, para escribir x1 puede usarse tanto x_1 como x_{1}. Lo mismo se cumple para los superíndices.
No hay nada de extraño en cómo maneja TeX este tipo de cosas y todo esto debería ser muy intuitivo al usuario. Por ejemplo, se pueden usar subíndices dentro de superíndices sin ningún tipo de problemas. Así es como e^{x _1 ^2} representa la expresión matemática .