I like the language [Racket](https://racket-lang.org), because you can do magic like this,

**INPUT:**

`#lang sweet-exp racket
require(rename-in(racket/base (define ≝) (<= ≤)))
{min(x y)
≝ (if {x ≤ y}
x
y)
}
min(0 5)
min(6 3)
min(9 9)`

**OUTPUT:**

`0
3
9
>
`

Yes, that is the unicode characters ≝ and ≤.