D Dizionario degli operatori (Non normativa)

Descrizione sommaria: Linguaggio di marcatura matematica (MathML) Versione 2.0
Precedente: C Definizioni degli elementi di contenuto
Successivo: E Modello a oggetti dei documenti per il MathML (Non normativa)

D Dizionario degli operatori (Non normativa)
D.1 Formato delle voci del dizionario degli operatori
D.2 Indicizzazione del dizionario degli operatori
D.3 Scelta dei nomi delle entità
D.4 Note sugli attributi lspace e rspace
D.5 Voci del dizionario degli operatori

La tabella seguente dà il dizionario consigliato delle proprietà di riproduzione per operatori, parentesi, separatori e accenti in MathML, i quali sono tutti rappresentati da elementi mo. Per brevità, tutti questi elementi saranno chiamati semplicemente `operatori' in questa Appendice.

D.1 Formato delle voci del dizionario degli operatori

Gli operatori sono divisi in gruppi, che sono separati da linee bianche nell'elenco seguente. Il raggruppamento, e l'ordine dei gruppi, è significativo per il corretto raggruppamento delle sottoespressioni usando <mrow> (Sezione 3.3.1 [Raggruppare orizzontalmente le sottoespressioni (mrow)]); la regola descritta qui è particolarmente rilevante per la generazione automatica del MathML per conversione da altri formati per la matematica visualizzata, come T_EX, che non sempre specificano come si annidano le sottoespressioni.

Il formato delle voci della tabella è: il contenuto dell'elemento <mo> tra doppi apici (tag di apertura e di chiusura non mostrati), seguito dalla lista degli attributi in formato XML, iniziando con l'attributo form, seguito dagli attributi predefiniti di riproduzione che devono essere usati per elementi mo con il dato contenuto e il dato attributo form.

Ogni attributo non elencato per una voce ha il suo valore predefinito, che è dato tra parentesi nella tabella degli attributi nella Sezione 3.2.4 [Operatore, parentesi, separatore o accento (mo)].

Si noti che i caratteri & e < sono rappresentati nelle seguenti voci di tabella rispettivamente dai riferimenti ad entità & e <, come sarebbe necessario se apparissero nel contenuto di un elemento mo reale (o in qualunque altro elemento MathML o XML).

Per esempio, la prima voce,

"(" form="prefix" fence="true" stretchy="true" lspace="0em" rspace="0em"

potrebbe essere espressa come elemento mo da:

<mo form="prefix" fence="true" stretchy="true" lspace="0em" rspace="0em"> ( </mo>

(si noti la mancanza di doppi apici intorno al contenuto, e gli spazi bianchi aggiunti intorno al contenuto per leggibilità, cosa opzionale nel MathML).

Questa voce significa che, per riproduttori MathML che usano questo dizionario degli operatori consigliato, dare l'elemento <mo form="prefix"> ( </mo> da solo, o semplicemente <mo> ( </mo> in una posizione per la quale sarebbe inferito form="prefix" (si veda sotto), è equivalente a dare l'elemento con tutti gli attributi mostrati sopra.

D.2 Indicizzazione del dizionario degli operatori

Si noti che il dizionario è indicizzato non solo a seconda del contenuto degli elementi, ma a seconda del contenuto degli elementi e del valore dell'attributo form, insieme. Gli operatori con più di una forma possibile hanno più di una voce. Le specifiche del MathML descrivono come il riproduttore sceglie (`inferisce') quale forma usare quando non è dato un attributo form; si veda la Sezione 3.2.4.7.2. [Valore predefinito dell'attributo form].

Avendo fatto questa scelta, o con l'attributo form specificato esplicitamente nel tag iniziale dell'elemento <mo>, il riproduttore MathML usa gli attributi rimanenti dalla voce del dizionario per la sola forma appropriata di tale operatore, ignorando le voci per altre forme possibili.

D.3 Scelta dei nomi delle entità

I caratteri estesi in MathML (e nel dizionario degli operatori in seguito) sono rappresentati da riferimenti ad entità in stile XML usando la sintassi &nome-del-carattere;, l'elenco completo dei caratteri e dei nomi dei caratteri è dato nel Capitolo 6 [Caratteri, entità e font]. A molti caratteri si può fare riferimento con più di un nome; spesso, in MathML sono forniti nomi facili da ricordare composti da parole intere, come pure uno o più nomi usati in altri standard, come l'Unicode. I caratteri negli operatori in questo dizionario sono elencati generalmente sotto il loro nome a parole intere, quando esiste. Per esempio, l'operatore integrale è chiamato in seguito con la sequenza di un carattere &Integral;, ma potrebbe altrettanto bene essere chiamato ∫. La scelta di un nome per un dato carattere in MathML non ha effetto sulla sua presentazione.

Si intende che ogni entità nominata in seguito appare da qualche parte nel Capitolo 6 [Caratteri, entità e font]. Se questo non è vero, è un errore in queste specifiche. Se tale errore esiste, deve essere considerato come definitivo il capitolo sopra nominato, piuttosto che questa appendice.

D.4 Note sugli attributi `lspace` e `rspace`

I valori per lspace e rspace dati qui variano da 0 a verythickmathspace, che ha un valore predefinito di 6/18 em. Per gli operatori invisibili il cui contenuto è ⁢ o ⁡, si consiglia che i riproduttori MathML scelgano la spaziatura in un modo dipendente dal contesto (che è un'eccezione ai valori statici dati nella seguente tabella). Per <mo>⁡</mo>, la spaziatura totale (lspace+rspace) in espressioni come `sin x' (dove l'operando a destra non inizia con una parentesi) deve essere maggiore di zero; per <mo>⁢</mo>, la spaziatura totale deve essere maggiore di zero quando entrambi gli operandi (o i token più vicini da ogni lato, se sulla linea di base) sono identificatori visualizzati in un font non inclinato (ovvero, sotto le regole consigliate, quando entrambi gli operandi sono identificatori multi-carattere).

Alcuni riproduttori possono non voler usare nessuna spaziatura per la maggior parte degli operatori che appaiono negli apici e nei pedici (ovvero quando scriptlevel è maggiore di 0; si veda la Sezione 3.3.4 [Modifiche allo stile (mstyle)]), come è il caso in T_EX.

D.5 Voci del dizionario degli operatori