prettyVariables
fun prettyVariables(tagsOptions: TermFormatter.TagsFormattingOptions = TagsFormattingOptions()): TermFormatter
A TermFormatter representing terms in canonical form, except for Variables which are represented using their simple name only, if possible. So for instance the term A_1 + B_2 is represented as '+'(A, B). Conversely, if two or more variables share the same simple name, they are represented through relative and progressive indexes. So for instance, the term A_3 + A_4 is represented as '+'(A1, A2).