Gruppo Utilizzatori Italiani di TeX
Mi sono appena risposto. Per quelli a cui può interessare, i comandi sono del tipo \bigg> e \bigg< et similia.
