Invece di Ctrl+Alt dovresti usare il tasto AltGr, non ce l'hai sul portatile?

Oppure una bella tastiera esterna (che spesso sono migliori di quelle dei portatili).