Lyx

[Snark]

Je n'ai pas utilisé lyx depuis des années, mais j'utilise latex et les crochets pour les intervalles d'entiers d'obtiennent avec \llbracket et \rrbracket (dans le stmaryrd); pour le problème de \mathbb, sans message d'erreur c'est difficile à dire, mais pour l'utiliser, il faut utiliser amsfonts -- ça peut peut-être décoincer.