\llbracket et rrbracket sont fournis par les deux paquets suivants :
\usepackage{stmaryrd}\usepackage{fourier}
On peut aussi utiliser [\![a;b]\!], bof...
\llbracket et rrbracket sont fournis par les deux paquets suivants :
\usepackage{stmaryrd}\usepackage{fourier}On peut aussi utiliser [\![a;b]\!], bof...