[NTG-context] Symbol join of \ll and equal