Shorter fuzzy equal