https://www.vincenzocarcione.com/come-digitare-la-barra-verticale-pipe-da-tastiera-windows/