Salve gente!
Ho di nuovo bisogno di voi. Voglio comporre una formula di questo tipo:`\left\{ Caratteri piuttosto alti | caratteri piuttosto alti \right\}`Le parentesi graffe, usando left e right, vengono rese come delimitatori ad altezza variabile, ma non il simbolo | “tale che”.
Me la sono cavata “artigianalmente”, usando i vari \bigg| e Big| in modo da avere una sbarretta ad altezza soddisfacente, ma procedere a tentoni, giudicando il risultato ad occhio mi sembra “poco LaTeX”.
Vorrei che il carattere | venisse reso un delimitatore ad altezza variabile, ma nelle varie guide di cui dispongo non ho visto come si fa.
Se usi una distribuzione recente di TeX, la risposta è semplice:`\left\{…\middle|…\right\}`perché viene usata l’estensione eTeX. Altrimenti devi andare a mano.
Ciao
Enrico