Gruppo Utilizzatori Italiani di TeX
Da un manuale e da quello che fa la ridefinizione del comando, anche se non è ortodosso, ho risolto con \lvert… Abbiate pietà! 😀