Существует ли язык программирования, который поддерживает цепочечные обозначения a <b <c, которые будут использоваться вместо a <b и b <c в условных выражениях?

Пример:

если (2 <х <5)если (2 <x && x <5)

Первое утверждение выглядит лучше для меня, его легче понять, и компилятор может использовать свойство транзитивности для предупреждения об ошибках (например, 5 <x <2 выдаст предупреждение).