Gruppo Utilizzatori Italiani di TeX
…nessuna idea del posto in cui unzippare mathbbol.sty per poterlo avere nella lista di miketex e così poi installarlo?
