translate English to French: TRL > TRpr (i.e. line (2) shall not be below line (3)).
TRL ≥ TRpr (c'est-à-dire que la ligne (2) ne doit pas être située au-dessous de la ligne (3)).