Infix-style shorthand for formatter.format(this), e.g. myTerm.format(TermFormatter.default()).
formatter.format(this)
myTerm.format(TermFormatter.default())