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