В конце концов выяснилось, что знание, которого мне не хватало – это что при Alt+code нужно использовать цифры в правой (а не в верхней) части клавиатуры.