category code {
  predefined_operators = true;
}
