that would be very useful for sets and german decimals: $x = 1,33$ vs. $x ∈
{1, 2, 3, 4}$