Simboli matematici

In TeXmacs, i caratteri greci si ottengono combinando il tasto modificatore H- con una lettera. Per esempio, H-a genera α e H-G genera Γ. Ricordiamo che il tasto F5 è equivalente a H-, quindi ρ può anche essere ottenuto battendo i tasti F5 r. Analogamente, F6, F7, F8 e S-F6 possono essere utilizzati per scrivere caratteri in grassetto, calligrafici, fraktur e lavagna grassetto. Per esempio, F8 m produce m, S-F6 R produce R e F6 F7 Z produce Z.

I caratteri greci si possono ottenere anche come “varianti” dei caratteri latini utilizzando il tasto tab. Per esempio, p tab produce π. Il tasto tab viene utilizzato anche per ottenere delle varianti degli stessi caratteri greci. Per esempio, sia H-p tab tab che p tab tab tab generano ϖ.

Molti altri simboli matematici si ottengono con “naturali” combinazioni di tasti. Per esempio, - > genera →, - - > produce ⟶ e > = ⩾. Analogamente, | - genera ⊢, | - > genera ↦ e - > < - genera ⇄. Qui di seguito riportiamo alcune regole generali che permettono di ottenere delle varianti dei simboli:

tab

è il tasto principale per ottenere delle varianti. Per esempio, > = produce ⩾, ma > = tab produce ≥. Analogamente, < tab produce ≺, < tab = produce ≼ e < tab = tab genera ⪯. Inoltre, P tab tab produce ℘ e e tab tab genera la costante ⅇ = exp(1). Si può “tornare indietro” utilizzando S-tab.

@

viene utilizzato per inserire i simboli in cerchietti o in quadratini. Per esempio, @ + produce ⊕ e @ x produce ⊗. Analogamente, @ tab + genera ⊞.

/

permette di ottenere le negazioni. Per esempio, = / produce ≠ e < = / produce not(⩽). Si noti che < = tab tab / genera ≦̸, mentre < = tab tab / tab produce ≨.

!

si utilizza dopo le frecce per forzare il posizionamento dei caratteri seguenti al di sopra o al di sotto delle frecce stesse. Per esempio, - - > ^ x produce ⟶^x , ma - - > ! ^ x produce ⟶^x.

Molti altri simboli, che non possono essere inseriti in modo naturale come nei casi descritti qui sopra, si possono ottenere utilizzando il prefisso S-F5. Qui di seguito riportiamo una piccola tabella con alcuni di tali simboli: