default
fun default(operators: OperatorSet = OperatorSet.DEFAULT, tagsOptions: TermFormatter.TagsFormattingOptions = TagsFormattingOptions(showTags = true)): TermFormatter
The default TermFormatter: renders operators as expressions, prints variables prefixed by _ rather than by Var.completeName, never quotes functors, and shows term tags.