Digitando símbolos matemáticos

Letras gregas são inseridas no TeXmacs através da combinação da tecla modificadora hiper H- com uma letra. Por exemplo, H-a gera α e H-G produz Γ. Lembre-se que a tecla F5 é equivalente a H-, de forma que ρ pode ser obtido também com F5 r. De forma análoga, F6, F7, F8 e S-F6 podem ser usados para inserir caracteres em negrito, caligráficos, fraktur e blackboard bold. Por exemplo, F8 m produz m, S-F6 R produz R e F6 F7 Z produz Z.

Letras gregas também podem ser obtidas como “variações” das letras latinas, através da tecla tabulador. Por exemplo, p tabulador gera π. A tecla tabulador também é usada para obter variações das próprias letras gregas. Por exemplo, tanto H-p tabulador quanto p tabulador tabulador produzem ϖ.

Muitos outros símbolos matemáticos são inseridos com combinações “naturais” de teclas, por exemplo, - > produz →, - - > produz ⟶ e > = produz ⩾. Analogamente, | - produz ⊢, | - > produz ↦ and - > < - produz ⇄. Algumas regras gerais são válidas para obter outras variações de símbolos:

tabulador

é a principal tecla para obtenção de variações. Por exemplo, > = gera ⩾, mas > = tabulador gera ≥. Da mesma forma, < tabulador produz ≺, < tabulador = produz ≼ e < tabulador = tabulador produz ⪯. Além disso, P tabulador gera ℘ e e tabulador gera a constante ⅇ = exp(1). Você pode “circular de volta” usando S-tabulador.

@

é usado para colocar símbolos dentro de caixas, por exemplo @ + gera ⊕ e @ x gera ⊗. Similarmente, @ tabulador + gera ⊞.

/

é usada para negações. Por exemplo, = / gera≠and < = / gera not(⩽). Note que < = tabulador tabulador / gera ≦̸, enquanto < = tabulador tabulador / tabulador gera ≨.

!

é usado após setas, para forçar com que super e subscritos apareçam sobre e sob as setas. Por exemplo, - - > ^ x gera ⟶^x , mas - - > ! ^ x gera ⟶^x.

Vários outros símbolos que não podem ser inseridos naturalmente como descrito acima, podem ser obtidos usando o prefixo S-F5. A tabela abaixo mostra alguns destes símbolos: