Su LINUX:

ALT Gr + SHIFT + [ -> per la parentesi graffa aperta

ALT Gr + SHIFT + ] -> per la parentesi graffa chiusa

ALT Gr + ì -> per il carattere Tilde

PG DOWN -> per il carattere tilde nel terminale

Su WINDOWS:

I numeri vanno digitati sul tasterino numerico!!

ALT + 123 -> per la parentesi graffa aperta

ALT + 125 -> per la parentesi graffa chiusa

ALT + 126 -> per il carattere Tilde

Per i portatili senza tasterino numerico usare FN + i numeri presenti nelle lettere!!

ALT + Fn + 123 -> per la parentesi graffa aperta

ALT + Fn + 125 -> per la parentesi graffa chiusa

ALT + Fn + 126 -> per il carattere Tilde

Su Mac:

ALT Gr + SHIFT + [ -> per la parentesi graffa aperta

ALT Gr + SHIFT + ] -> per la parentesi graffa chiusa

ALT + 5 -> per il carattere Tilde