bugfix, some ConTeXt shortcut additions like |<| and |>|