Saisie de symboles mathématiques

Dans TeXmacs, on accède aux caractères grecs en combinant la touche H- avec une lettre. Par exemple, H-a produit le caractère α et H-G le caractère Γ. Souvenez-vous que la touche F5 est équivalente à H- ; vous pouvez donc aussi utiliser F5 r pour obtenir ρ. De même, F6, F7, F8 et S-F6 permettent d'obtenir des caractères gras, calligraphiques, gothiques ou des onciales. Par exemple, F8 m donne m, S-F6 R donne R et F6 F7 Z donne Z.

Les caractères grecs peuvent aussi être obtenus en tant que «variantes» de caractères latins en utilisant la touche tab. Par exemple, p tab donne π. La touche tab sert aussi à produire des variantes de lettres grecques. Par exemple, H-p tab tab et p tab tab tab donnent toutes les deux ϖ.

On peut obtenir de nombreux autres symboles mathématiques par des combinaisons de touches «évidentes». Par exemple, - > donne →, - - > donne ⟶ et > = donne ⩾. De même, | - donne ⊢, | - > donne ↦ et - > < - donne ⇄. Voici quelques règles générales permettant d'obtenir des variantes de symboles :

tab

est la touche principale pour obtenir des variantes. Par exemple, > = donne ⩾, mais > = tab donne ≥. De même, < tab donne ≺, < tab = donne ≼ et < tab = tab donne ⪯. P tab tab donne ℘ et e tab tab donne la constante d'Euler. On peut utiliser S-tab pour passer en revue les différents caractères produits par les touches tab successives.

@

(symbole @) est utilisée pour inscrire un symbole dans un cercle ou un carré. Par exemple, @ + donne ⊕ et @ x donne ⊗. De même, @ tab + donne ⊞.

/

est utilisée pour les négations. Par exemple, = / donne ≠ et < = / donne not(⩽). Notez que < = tab tab / donne ≦̸, tandis que < = tab tab / tab donne ≨.

!

est utilisée après une flèche pour forcer le caractère suivant à s'inscrire au-dessus ou au-dessous d'elle. Par exemple, - - > ^ x donne ⟶^x , mais - - > ! ^ x donne ⟶^x.

Certains symboles ne peuvent être obtenus comme ci-dessus, il faut alors utiliser le préfixe S-F5. En voici le tableau :