.> > |> above below disjoint eps leftOf positions replaceTerm rightOf showPos
.>
>
|>
above
below
disjoint
eps
leftOf
positions
replaceTerm
rightOf
showPos