Como digitar as aspas francesas no layout US-Intl? [duplicado]

$ setxkbmap -query | grep layout
layout:     us

Acredito que especifiquei um layout de teclado US-Intl durante a instalação do Linux Mint 18.3 (pergunta secundária, como verificar isso?). Consigo obter acentos, por exemplo, right-alt+ ,+ cimpressõesç

Mas não as aspas francesas. Tentei right-alt+ [, right-alt+ ze right-alt+ \, que são soluções encontradas em vários posts/Wikipedia, não produzem «.

Atualizar:

$ cat -n /usr/share/X11/xkb/symbols/us | head -n 120 | tail -n 14
   107      key <AC04> { [     f,          F,             f,                F ] };
   108      key <AC05> { [     g,          G,             g,                G ] };
   109      key <AC06> { [     h,          H,             h,                H ] };
   110      key <AC07> { [     j,          J,             j,                J ] };
   111      key <AC08> { [     k,          K,            oe,               OE ] };
   112  
   113      key <AC09> { [     l,          L,        oslash,         Ooblique ] };
   114      key <AC10> { [ semicolon,      colon,     paragraph,           degree ] };
   115      key <AC11> { [dead_acute, dead_diaeresis, apostrophe,        quotedbl ] };
   116  
   117      key <AB01> { [     z,          Z,            ae,               AE ] };
   118      key <AB02> { [     x,          X,             x,                X ] };
   119      key <AB03> { [     c,          C,     copyright,             cent ] };
   120      key <AB04> { [     v,          V,             v,                V ] };

$ cat -n /usr/share/X11/xkb/symbols/us | grep quotemark
    86      key <AE09> { [     9,  parenleft, leftsinglequotemark, dead_breve ] };
    87      key <AE10> { [     0, parenright, rightsinglequotemark, dead_abovering ] };
   101      key <AD11> { [ bracketleft,  braceleft,  guillemotleft, leftdoublequotemark ] };
   102      key <AD12> { [bracketright, braceright, guillemotright, rightdoublequotemark ] };
   170    key <AE09> { [      9, parenleft, leftsinglequotemark,  dead_breve ] };
   171    key <AE10> { [      0, parenright, rightsinglequotemark, dead_abovering ] };
   270      key <AE09> { [     9,  parenleft, leftsinglequotemark, dead_breve ] };
   271      key <AE10> { [     0, parenright, rightsinglequotemark, dead_abovering ] };
   272      key <AE11> { [ bracketleft,  braceleft,  guillemotleft, leftdoublequotemark ] };
   273      key <AE12> { [bracketright, braceright, guillemotright, rightdoublequotemark ] };
   677      key <AE10> { [     0, parenright,     masculine,singlelowquotemark] };
   682      key <AD02> { [     w,          W,         U2211,doublelowquotemark] };
   691      key <AD11> { [ bracketleft,  braceleft, leftdoublequotemark, rightdoublequotemark ] };
   692      key <AD12> { [bracketright, braceright, leftsinglequotemark, rightsinglequotemark ] };
   741      key <AE09> { [            9,    parenleft,  leftsinglequotemark,  leftdoublequotemark ] };
   742      key <AE10> { [            0,   parenright, rightsinglequotemark,  rightdoublequotemark ] };
   871              leftsinglequotemark,    dead_breve  ] };
   873              rightsinglequotemark,   dead_abovering  ] };
   917              leftsinglequotemark,    dead_breve  ] };
   919              rightsinglequotemark,   dead_abovering  ] };
   950              leftsinglequotemark,    dead_breve  ] };
   952              rightsinglequotemark,   dead_abovering  ] };
  1459   key <AE09> { [  9, parenleft, leftsinglequotemark, U0306 ] };
  1461   key <AE10> { [  0, parenright, rightsinglequotemark, U030A ] };

Não tenho certeza do que é o "kb padrão". dpkg-reconfigure configuração do teclado