Capisco che sei alle prime armi e l’informazione che sto epr darti non si trova in qualunque guida. Tuttavia ti suggerisco di dare una occhiata alla guida tematica Font e Tipografia; non è necessario che la leggi tuta; sei autorizzata a saltarne alcune parti molto tecniche; mac’è un paragrafo sui font matematici. Vi si dice chiaramente che non si possono usare più di 16 famiglie diverse di font. Le famiglie matematiche (nome interno dell’interprete TeX come l’ha definito Knuth; math groups, come si chiamano ora usando LaTeX2e che seleziona i fotn con il cosiddetto New Font Selection Scheme (NFSS), non più tanto nuovo visto che sta per compiere 20 anni; era nuovo quando è apparso LaTeX2e nel 2994) sono identificate da un nibble (metà di un byte, o detto in modo più semplice da una cifra esadecimale di 4 bit che quindi va da 0 a 15; questa cifra entra nella codifica di ogni simbolo matematico.
Bene l e famiglie o math group usate di defautl sono:
0) famiglia degli operatori (per scrivere lim, cos, log, e simili)
1) famiglia delle lettere (per usare il corsivo matematico e certi simboli)
2) famiglia dei simboli (per scrivere simboli di vario genere e l’alfabeto “calligrafico”)
3) dei grandi operatori e per i delimitatori estensibili (i grandi segni di sommatoria o prodotto, i radicali e altri segni di questo genere; le grandi parenesi vericali aperte e chiuse, le parentesi orizzontali per raggruppare termini si sequenze, e simili)
Se usi amsmath e il pacchetto amssymb (che a sua volta chiama il pacchetto amsfonts, che, quindi non necessita di essere chiamato esplicitamente) aggiungi altre due famiglie o math group.
Per arrivare al numero 15 sembrerebbe che ci voglia tanta buona volontà, ma ci si arriva e tu ci sei arrivata.
Non c’è rimedio, se non quello di usare meno famiglie.
Perciò ti suggerisco di leggere con attenzione il catalogo dei simboli aprendo una finestra comandi o terminale, e scrivendoci dentro texdoc symbos-a4; il documento che ti si apre contiene la Lista completa di tutti i simboli matematici e non matematici che si possono usare con il sistema TeX e con i suoi moduli di estensione (pacchetti); è proabile che i tuoi simboli logici si trovino già offerti da pacchetti più estesi, in modo da non dover aggiungere un nuovo pacchetto epr ogni nuovo simbolo di logica matematica che potresti incontrare.
Se non riuscissi ad avere una collezione adeguata potresti “farla grossa” e crearti un font virtuale che contenga tutti i font che ti servono in modo da usare una salo famiglia o math group (i simboli matematici possono venire raccolti un collezioni al massimo di 256 segni). Quello che ti ho detto è fattibile, ma è quasi una bestemmia, visto che l’operazione è difficilissima e non basta sapere usare un po’ LaTeX ma bisogna conoscere a fondo i font e le loro caratteristiche e le loro idiosincrasie, oltre al modo con il quale pdflatex li gestisce.
Ti ho detto quest’ultima cosa tanto per dirti che si può fare, ma sono pochi al mondo che ne sarebbero capaci; quindi, non pensarci nemmeno.
Dai miei ricordi di “gioventù” ho fatto questa operazione che mi costò lacrime e sangue, ma era necessaria per certi scopi; oggi che ho molta più esperienza, non saprei se sarei ancora in grado di farla.