Ciao Enrico,
Il comando \mathbbm esiste purché tu carichi il pacchetto “bbm”, che non è certo fra quelli standard. Le lettere così prodotto sono di aspetto indubbiamente brutto.
Concordo sul giudizio estetico, e in armonia con questo ne eviterò l’uso.
Con \usepackage[bbgreekl]{mathbbol} il comando \mathbb viene ridefinito in modo da mettere a disposizione anche lettere greche, di aspetto ancor più tremendo.
Certo che l’aspetto è tremendo, ma viene CAMBIATO il carattere rispetto a quello reso da \mathbb senza aver caricato il pacchetto da te citato! Il mio parere è che se il disegno dei caratteri rimanesse lo stesso, l’aspetto sarebbe molto migliore.
C’è anche il pacchetto mbboard, ma non è compreso in TeX Live, che permette di usare le lettere greche. Io non lo farei nemmeno se da questo dipendesse il mio avvenire.
Sì, forse fare una trafila per avere le lettere greche così come le rende \mathbb non ne vale tanto la pena. Ma se ci fosse la possibilità di poter scrivere \mathbbm{lettera greca} e ottenere il risultato che si ottiene quando si scrive \mathbbm{lettera}, non vedo dove sarebbe il problema. Se si accettano le lettere “italiane” fatte a quel modo, perché non si possono accettare anche quelle greche (ben disegnate ovviamente)?
Grazie e ciao,
Marco.