{
  L.over  :  L "<<" L  ;
  X.over  :  X "<<" L  ;
}