That’s not a correct description. The difference list equivalent to an empty list is a pair (i.e. a compound term) where both elements are the same variable. Maybe also worth noting that, although the de facto standard representation for a pair uses the (-)/2 infix operator, that’s just a choice. We could use instead e.g. A\A or A+A.
1 Like