include TermEditor
(*
include TexTermEditor
*)