(* additional abbreviations for syntactic completion *) (*prevent replacement of very long arrows*) "===>" = "===>" "--->" = "\\" (*HOL-NSA*) "--->" = "\\<^sub>N\<^sub>S" "--->" = "\\\<^sub>N\<^sub>S"