Re: Problema, inserendo un carattere speciale ad esempio \vert

ho provato ad aggiungere \texttt{ps -ef –no-header | wc -l} come hai detto tu ma mi toglie il grassetto