Ersetzt | durch \mid und || durch \|

ich hatte noch einige solche Stellen übersehen,