(* additional abbreviations for syntactic completion *) (*prevent replacement of very long arrows*) "--->" = "--->" "===>" = "===>"